Deterministic CFL's Are Accepted Simultaneously in Polynomial Time and Log Squared Space

Stephen A. Cook

Browse the full STOC paper archive.