Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche
Browse the full LICS paper archive.