TY  - RPRT
TI  - New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized
AU  - Guillaume Allais
AU  - Pierre Boutillier
AU  - Conor McBride
PY  - 2013
UR  - https://arxiv.org/abs/1304.0809
ID  - 1304.0809
ER  -