TY  - RPRT
TI  - Discriminating Lambda-Terms Using Clocked Boehm Trees
AU  - Joerg Endrullis
AU  - Dimitri Hendriks
AU  - Jan Willem Klop
AU  - Andrew Polonsky
PY  - 2014
DO  - 10.2168/lmcs-10(2:4)2014
UR  - https://arxiv.org/abs/1212.0401
ID  - 1212.0401
ER  -