@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},
	biburl = {http://www.bibsonomy.org/bibtex/226683ba9387ebb20066c93da9da58ef7/dblp},
	description = {dblp},
	isbn = {0-19-853746-8}, date = {2008-05-06},
	keywords = {dblp }
}