William C. Rounds. Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages. In Conference Record of Second Annual ACM Symposium on Theory of Computing, 4-6 May 1970, Northampton, Massachusetts, USA. pages 109-116, ACM, 1970.
Abstract is missing.