Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach
Browse the full CADE paper archive.