CITATION STYLE
Buchberger, B. (1996). Symbolic Computation: Computer Algebra and Logic (pp. 193–219). https://doi.org/10.1007/978-94-009-0349-4_10
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley