Pier Giorgio Bosco Elio Giovannetti Corrado Moiso Catuscia Palamidessi Comments on "Logic-Programming with Equations". 85-89 1991 11 J. Log. Program. 1&2 db/journals/jlp/jlp11.html#BoscoGMP91