TY - CONF T1 - Logic Programming within a Functional Framework T2 - PLILP Y1 - 1990 A1 - Antonio Brogi A1 - Paolo Mancarella A1 - Dino Pedreschi A1 - Franco Turini JF - PLILP ER -