arXiv 2012-05-28 EN Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States Schuster, Johann · Siegle, Markus
arXiv 2004-12-31 EN Hilbert's first and second problems and the foundations of mathematics Nyikos, Peter J.
