A Second-Order System for Polytime Reasoning Using Graedel's Theorem.

Stephen A. Cook, Antonina Kolokolova

Browse the full LICS paper archive.