Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Browse the full LICS paper archive.