@book{407,
	author = {Minker, Jack.},
	title = {Foundations of deductive databases and logic programming /},
	publisher = {M. Kaufmann Publishers,},
	year = {c1988.},
	address = {Los Altos, Calif. :}
}