Bruno Buchberger
Research Institute for Symbolic Computation
Johannes Kepler University Linz
A-4232 The Castle of Hagenberg
Austria
Andrei Voronkov
School of Computer Science
University of Manchester
Oxford Rd, Manchester M13 9PL
UK
Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz
A-4232 The Castle of Hagenberg
Austria