TY  - RPRT
TI  - Characteristic Formulae for Relations with Nested Fixed Points
AU  - Luca Aceto
AU  - Anna Ingólfsdóttir
PY  - 2012
DO  - 10.4204/eptcs.77.3
UR  - https://arxiv.org/abs/1202.3497
ID  - 1202.3497
ER  -