A Many Sorted PROLOG Based on Equational Unification

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

No reviews for this publication, yet.