TY  - RPRT
TI  - Variable elimination for building interpreters
AU  - Julien Cohen
AU  - Jean-Louis Giavitto
AU  - Olivier Michel
PY  - 2010
UR  - https://arxiv.org/abs/1005.1466
ID  - 1005.1466
ER  -