Ronald V. Book, Maurice Nivat, Mike Paterson
Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines
STOC, 1974.
@inproceedings{STOC-1974-BookNP, author = "Ronald V. Book and Maurice Nivat and Mike Paterson", booktitle = "{Proceedings of the Sixth Annual ACM Symposium on Theory of Computing}", doi = "10.1145/800119.803906", pages = "290--296", publisher = "{ACM}", title = "{Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines}", year = 1974, }