Laurent Fribourg Oriented Equational Clauses as a Programming Language. 165-177 1984 1 J. Log. Program. 2 db/journals/jlp/jlp1.html#Fribourg84