Skip to content

A Partial Solution for D-Unification Based on a Reduction to AC1-Unification.

Evelyne Contejean

VenueA*ICALP
Year1993
ProceedingsICALP

Browse the full ICALP paper archive.