@book{15886,
	author = {Kowalski, Robert},
	title = {Logic for problem solving},
	publisher = {North Holland},
	year = {1979},
	address = {New YorkUS}
}