&: Automated Natural Deduction. - Dave Barker-Plummer; Sidney C. Bailin; Andrew S. Merrill (CADE, 1992)