An alternate proof of Aho & Ullman's LR(k) viable prefix theorem

David B. Benson. An alternate proof of Aho & Ullman's LR(k) viable prefix theorem. SIGACT News, 5(4):11-14, 1973. [doi]

Abstract

Abstract is missing.