Order-sorted equational uni (1988)

by C Kirchner
Venue:Procs. of 5th Intl. Conf. on Logic Programming