An efficient context-free parsing algorithm. Communications of the Assocation for Computing Machinery (1964)

by M Perles Bar-Hillel, E Shamir