Complete Game Logic with Sabotage.

Noah Abou El Wafa, Andr Platzer

Browse the full LICS paper archive.