Oriented Equational Clauses as a Programming Language

Laurent Fribourg. Oriented Equational Clauses as a Programming Language. Journal of Logic and Algebraic Programming, 1(2):165-177, 1984.

Abstract

Abstract is missing.