Catherine Belleannée Pascal Brisset Olivier Ridoux A Pragmatic Reconstruction of lambda-Prolog. 67-102 1999 41 J. Log. Program. 1 db/journals/jlp/jlp41.html#BelleanneeBR99