Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell
Browse the full LICS paper archive.