Talbot, Jean-Marc Programming Logics, MPI for Informatics, Max Planck Society;
Talbot, J.-M. (2000). On the Alternation-free Horn mu-calculus. In M. Parigot, & A. Voronkov (Eds.), Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000) (pp. 418-435). Berlin, Germany: Springer.