MLOG: A Strongly Typed Confluent Functional Language with Logical Variables

Vincent Poirriez. MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. Theoretical Computer Science, 122(1&2):201-223, 1994.

Possibly Related Publications

The following publications are possibly variants of this publication: