Efficient General Unification for XOR with Homomorphism

Lecture Notes in Computer Science - Automated Deduction – CADE-23 ◽

10.1007/978-3-642-22438-6_31 ◽

2011 ◽

pp. 407-421 ◽

Author(s):

Zhiqiang Liu ◽

Christopher Lynch

Download Full-text