AC Unification Through Order-Sorted AC1 Unification
Domenjoud, EricVolume:
14
Language:
english
Journal:
Journal of Symbolic Computation
DOI:
10.1016/s0747-7171(19)80001-9
Date:
December, 1992
File:
PDF, 992 KB
english, 1992