Skip to content

An Abstract View of Sorted Unification.

Alan M. Frisch, Anthony G. Cohn

VenueACADE
Year1992
ProceedingsCADE

Browse the full CADE paper archive.