@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} }