Descriptive complexity of linear equation systems and applications to propositional proof complexity | IEEE Conference Publication | IEEE Xplore