@inproceedings{DLT-2016-Basten,
	author        = "Hendrikus J. S. Basten",
	booktitle     = "{Proceedings of the 20th International Conference on Developments in Language Theory}",
	doi           = "10.1007/978-3-662-53132-7_1",
	isbn          = "978-3-662-53131-0",
	pages         = "1--12",
	publisher     = "{Springer}",
	title         = "{Context-Free Ambiguity Detection Using Multi-stack Pushdown Automata}",
	year          = 2016,
}