Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi
Browse the full ICALP paper archive.