TY  - RPRT
TI  - An analysis of the equational properties of the well-founded fixed point
AU  - Arnaud Carayol
AU  - Zoltan Esik
PY  - 2015
UR  - https://arxiv.org/abs/1511.09423
ID  - 1511.09423
ER  -