@conference {DBLP:conf/plilp/BrogiMPT90,
	title = {Logic Programming within a Functional Framework},
	booktitle = {PLILP},
	year = {1990},
	pages = {372-386},
	author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
