Efficient General Unification for XOR with Homomorphism.

Zhiqiang Liu, Christopher Lynch

Browse the full CADE paper archive.