Andrzej Wlodzimierz Mostowski Hierarchies of Weak Monadic Formulas for Two Successors Arithmetic. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1987, v:23, n:10/11, pp:509-515 [Journal]

Andrzej Wlodzimierz Mostowski Determinancy of Sinking Automata on Infinite Trees and Inequalities Between Various Rabin's Pair Indices. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1982, v:15, n:4, pp:159-163 [Journal]