TY - CONF T1 - Theory Construction in Computational Logic T2 - ICLP Workshop on Construction of Logic Programs Y1 - 1991 A1 - Antonio Brogi A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini JF - ICLP Workshop on Construction of Logic Programs ER -