Larry Wos, Robert Veroff. Logical basis for the automation of reasoning: Case studies. In Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. pages 1-40, Oxford University Press, 1994.
Abstract is missing.