Oriented Equational Clauses as a Programming Language.

Laurent Fribourg

Browse the full ICALP paper archive.