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.
@incollection{WosV94,
title = {Logical basis for the automation of reasoning: Case studies},
author = {Larry Wos and Robert Veroff},
year = {1994},
tags = {case study},
researchr = {https://researchr.org/publication/WosV94},
cites = {0},
citedby = {0},
pages = {1-40},
booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies},
editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
publisher = {Oxford University Press},
isbn = {0-19-853746-8},
}