Stephen A. Cook, Antonina Kolokolova: A Second-Order Theory for NL. LICS 2004: 398-407