Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of Clauses.

Gilles Chaminade

Browse the full ECAI paper archive.