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

Double-exponential Complexity of Computing a Complete Set of AC-Unifiers Deepak Kapur Paliath Narendran 11-21 conf/lics/LICS7 1992 LICS db/conf/lics/lics92.html#KapurN92