Descriptive complexity of linear equation systems and applications to propositional proof complexity.

Martin Grohe, Wied Pakusa

Browse the full LICS paper archive.