TY  - RPRT
TI  - On Asymmetric Unification for the Theory of XOR with a Homomorphism
AU  - Christopher Lynch
AU  - Andrew M. Marshall
AU  - Catherine Meadows
AU  - Paliath Narendran
AU  - Veena Ravishankar
PY  - 2019
UR  - https://arxiv.org/abs/1907.00227
ID  - 1907.00227
ER  -