Multiple-Conclusion Logic door D.J. Shoesmith & T.J. Smiley