Michael Codish, Yoav Fekete, Carsten Fuhs, Jrgen Giesl, Johannes Waldmann
Browse the full CADE paper archive.