Title: GL*:  A propositional proof system for logspace
First published: 2005