On the Operational Semantics of the Algebraic and Logic Programming Language LPG.

Didier Bert Rachid Echahed On the Operational Semantics of the Algebraic and Logic Programming Language LPG. 132-152 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#BertE94