@book{356626,
	author = {Levesque Hector J.},
	title = {Thinking As Computation},
	publisher = {MIT Press},
	year = {2012}
}