Ana Sokolova, Harald Woracek. Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). In Fabio Gadducci, Alexandra Silva 0001, editors, 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria. Volume 211 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.