The proof complexity of linear algebra (0)

by M Soltys, S Cook
Venue:Annals of Pure and Applied Logic