MULTIPLE-CONCLUSION LOGIC - Shoesmith, D.J.; Smiley, T.J. (Cambridge University Press, 1978)