Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
Browse the full CONCUR paper archive.