TY  - RPRT
TI  - About a Proof Pearl: A Purported Solution to a POPLMARK Challenge Problem that is Not One
AU  - Gopalan Nadathur
PY  - 2021
UR  - https://arxiv.org/abs/2112.09274
ID  - 2112.09274
ER  -