Journal of Logic Programming 1(2) Aug 1984
(1984)
Journal of Logic Programming
Fribourg, Laurent (1984)
Fribourg, Laurent "Oriented equational clauses as a programming language" pp165-177