Sorted Unification Using Set Constraints
by Uribe, T. E.
in Intl. Conf. on Computer Aided Deduction (CADE'92), vol. 607, pp. 163-177,
