Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson. Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops. In Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov, editors, Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010. Volume 10161 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
Abstract is missing.