@misc{indiciaee841dd37db5e,
  title = {New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized},
  author = {Guillaume Allais and Pierre Boutillier and Conor McBride},
  year = {2013},
  url = {https://arxiv.org/abs/1304.0809},
  note = {Source identifier: 1304.0809}
}