Sabine Frittella, Luigi Santocanale. Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. In Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller, editors, Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings. Volume 8428 of Lecture Notes in Computer Science, pages 446-462, Springer, 2014. [doi]
Abstract is missing.