@book{23951,
	author = {Nilsson, Ulf and Mauszyanski, Jan},
	title = {Logic, programming, and prolog /},
	publisher = {Wiley,},
	year = {1995},
	address = {New York :},
	edition = {2nd ed.}
}