@book{43392,
	author = {Nerode, Anil and Marek, Wiktor},
	title = {Logic programming and non-monotonic reasoning},
	publisher = {MIT,},
	year = {1991},
	address = {Cambridge, Mass. :}
}