@book{1000985,
	author = {Truemper, K.,},
	title = {Design of logic-based intelligent systems /},
	publisher = {John Wiley,},
	year = {2004.},
	address = {Hoboken, NJ :},
	note = {"A Wiley-Interscience publication."}
}