Multiple-conclusion logic. - Shoesmith D J (Cambridge Cambridge University Press, 1978)