Yijia Chen, Jörg Flum. On ::::p::::-Optimal Proof Systems and Logics for PTIME. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Volume 6199 of Lecture Notes in Computer Science, pages 321-332, Springer, 2010. [doi]
Abstract is missing.