@misc{indiciaef934666a1946, title = {Quasipolynomial Computation of Nested Fixpoints}, author = {Daniel Hausmann and Lutz Schröder}, year = {2021}, url = {https://arxiv.org/abs/1907.07020}, note = {Source identifier: 1907.07020} }