Abstract: We give a simple example that there is no symbolic theory for exclusive or (XOR) that is computationally sound.
Permalink: http://www.ut.ee/~unruh/publications/sound-xor.html