William Klieber, Mikols Janota, Joo Marques-Silva, Edmund M. Clarke
Browse the full CP paper archive.