@misc{indiciae23930806331d,
  title = {On Asymmetric Unification for the Theory of XOR with a Homomorphism},
  author = {Christopher Lynch and Andrew M. Marshall and Catherine Meadows and Paliath Narendran and Veena Ravishankar},
  year = {2019},
  url = {https://arxiv.org/abs/1907.00227},
  note = {Source identifier: 1907.00227}
}