"On p-Optimal Proof Systems and Logics for PTIME."

Yijia Chen, Jörg Flum (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics