@conference {DBLP:conf/iclp/BrogiMPT91,
	title = {Theory Construction in Computational Logic},
	booktitle = {ICLP Workshop on Construction of Logic Programs},
	year = {1991},
	pages = {241-250},
	author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
