TY  - RPRT
TI  - Synthesis of sup-interpretations: a survey
AU  - Romain Péchoux
PY  - 2012
DO  - 10.1016/j.tcs.2012.11.003
UR  - https://arxiv.org/abs/1210.7136
ID  - 1210.7136
ER  -