TY  - RPRT
TI  - Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively
AU  - Ana Sokolova
AU  - Harald Woracek
PY  - 2021
UR  - https://arxiv.org/abs/2106.06614
ID  - 2106.06614
ER  -