Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
Browse the full CONCUR paper archive.