TY  - RPRT
TI  - Functional Logic Programming with Generalized Circular Coinduction
AU  - Ronald de Haan
PY  - 2012
UR  - https://arxiv.org/abs/1203.0835
ID  - 1203.0835
ER  -