"The proof complexity of linear algebra."

Michael Soltys, Stephen A. Cook (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics