Evelyne Contejean. A Partial Solution for D-Unification Based on a Reduction to AC1-Unification. In Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson, editors, Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Volume 700 of Lecture Notes in Computer Science, pages 621-632, Springer, 1993.
Abstract is missing.