"Revealing vs. Concealing: More Simulation Games for Büchi Inclusion."

Milka Hutagalung, Martin Lange, Étienne Lozes (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics