@book{752,
	author = {Spencer-Smith, Richard. and Kaushik, Saroj},
	title = {Logic and Prolog /},
	publisher = {Harvester Wheatsheaf,},
	year = {c1991.},
	address = {New York :},
	note = {Includes index.}
}