A propositional proof system for log space (2005)

by Steven Perron
Venue:Proceedings of the 19th international Workshop on Computer Science Logic (CSL ’05), volume 3634 of Lecture Notes in Computer Science