Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore
Browse the full LICS paper archive.