A Second-Order Theory for NL.

Stephen A. Cook, Antonina Kolokolova

Browse the full LICS paper archive.