D. J. Shoesmith

• CAMDEX
• Multiple-conclusion logic