Double-exponential Complexity of Computing a Complete Set of AC-Unifiers

Deepak Kapur, Paliath Narendran

Browse the full LICS paper archive.