@book{19884,
	author = {Parlamento, Franco},
	title = {Logic and logic programming},
	publisher = {CISM},
	year = {1991},
	address = {UDINE},
	note = {"Unesco project on applied Mathematics, and Informatics in developing countries - 7A, May 6 - June 14, 1991"}
}