TY  - RPRT
TI  - No solvable lambda-value term left behind
AU  - Á. García-Pérez
AU  - P. Nogueira
PY  - 2016
DO  - 10.2168/lmcs-12(2:12)2016
UR  - https://arxiv.org/abs/1604.08383
ID  - 1604.08383
ER  -