Mathematical Theory Exploration [chapter]

Bruno Buchberger
2006 Lecture Notes in Computer Science  
doi:10.1007/11814771_1 fatcat:n7dmhngnezdhlevsnaskrddl7a