A Many Sorted PROLOG Based on Equational Unification

Thierry Conrad. A Many Sorted PROLOG Based on Equational Unification. In ECAI. pages 305-307, 1988.

Possibly Related Publications

The following publications are possibly variants of this publication: