%0 Conference Paper %B ICLP Workshop on Construction of Logic Programs %D 1991 %T Theory Construction in Computational Logic %A Antonio Brogi %A Paolo Mancarella %A Dino Pedreschi %A Franco Turini %B ICLP Workshop on Construction of Logic Programs %P 241-250 %G eng