1. First order atom definitions extended;Afshordel,2001
2. Axiomatic set theory;Bernays,1968
3. Gröbner bases: an algorithmic method in polynomial ideal theory;Buchberger,1985
4. Buchberger, B., 1996. Mathematics: an introduction to mathematics integrating the pure and algorithmic aspect. In: Volume I: A Logical Basis for Mathematics. In: Lecture Notes for the Mathematics Course in the First and Second Semester at the Fachhochschule for Software Engineering in Hagenberg, Austria
5. Theory Exploration Versus Theorem Proving;Buchberger,1999