Bruno Buchberger Mathematical Theory Exploration. 3-4 2006 conf/synasc/2006 SYNASC http://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.50 db/conf/synasc/synasc2006.html#Buchberger06