Thomas Colcombet, Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz
Browse the full LICS paper archive.