The Probabilistic Rabin Tree Theorem

Damian Niwinski, Pawel Parys, Michal Skrzypczak

Browse the full LICS paper archive.