Giovanna D Agostino, Giacomo Lenzi. On the µ-calculus over transitive and finite transitive frames. Theoretical Computer Science, 411(50):4273-4290, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.