Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk
Browse the full LICS paper archive.