A propositional proof system for log space (2005)

by Steven Perron
Venue:of Lecture Notes in Computer Science