Clemens Ballarin Lawrence C. Paulson A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory. 1-20 1999 39 Fundam. Inform. 1-2 db/journals/fuin/fuin39.html#BallarinP99