Media type: E-Article Title: New developments in the theory of Gröbner bases and applications to formal verification Contributor: Brickenstein, Michael; Dreyer, Alexander; Greuel, Gert-Martin; Wedler, Markus; Wienand, Oliver Published: Elsevier BV, 2009 Published in: Journal of Pure and Applied Algebra, 213 (2009) 8, Seite 1612-1635 Language: English DOI: 10.1016/j.jpaa.2008.11.043 ISSN: 0022-4049 Origination: Footnote: Access State: Open Access