TY  - RPRT
TI  - Canonicity results for mu-calculi: an algorithmic approach
AU  - Willem Conradie
AU  - Andrew Craig
PY  - 2014
UR  - https://arxiv.org/abs/1408.6367
ID  - 1408.6367
ER  -