@misc{indiciae42160494ce83,
  title = {Discriminating Lambda-Terms Using Clocked Boehm Trees},
  author = {Joerg Endrullis and Dimitri Hendriks and Jan Willem Klop and Andrew Polonsky},
  year = {2014},
  doi = {10.2168/lmcs-10(2:4)2014},
  url = {https://arxiv.org/abs/1212.0401},
  note = {Source identifier: 1212.0401}
}