Andreas Distler, Christopher Jefferson, Tom W. Kelsey, Lars Kotthoff
Browse the full CP paper archive.