"Efficient General Unification for XOR with Homomorphism."

Zhiqiang Liu, Christopher Lynch (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics