Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
Browse the full CADE paper archive.