The Unifiability Problem in Ground AC Theories

Paliath Narendran, Michal Rusinowitch

Browse the full LICS paper archive.