Helmut Seidl. Fast and Simple Nested Fixpoints. Universität Trier, Mathematik/Informatik, Forschungsbericht, 96-05, 1996.
We give an alternative proof of the result of Long et al. in  that nested fixpoint expressions of alternation depth can be evaluated over a complete lattice of height in time . The advantage of our proof is that it is both extremely short and extremely simple.
Download: PDF Reference: Bibtex