@incollection{books/ox/LAI2Hb1994/WosV94,
title = {Logical basis for the automation of reasoning: Case studies.},
author = {Larry Wos and Robert Veroff},
booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming (2)},
crossref = {books/ox/LAI2Hb94},
editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
pages = {1-40},
publisher = {Oxford University Press},
url = {http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#WosV94},
year = {1994},
description = {dblp},
isbn = {0-19-853746-8}, date = {2008-05-06},
keywords = {dblp }
}
::