Skip to content

Some Relationships between Unification, restricted Unification, and Matching.

Hans-Jrgen Brckert

VenueACADE
Year1986
ProceedingsCADE

Browse the full CADE paper archive.