Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
Browse the full LICS paper archive.