@inproceedings{DLT-2016-UezatoM,
	author        = "Yuya Uezato and Yasuhiko Minamide",
	booktitle     = "{Proceedings of the 20th International Conference on Developments in Language Theory}",
	doi           = "10.1007/978-3-662-53132-7_32",
	isbn          = "978-3-662-53131-0",
	pages         = "393--405",
	publisher     = "{Springer}",
	title         = "{Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata}",
	year          = 2016,
}