@book{70112,
	author = {Levesque, Hector J.},
	title = {Thinking as computation :},
	publisher = {MIT Press,},
	year = {c2012},
	address = {Cambridge, Mass. :}
}