Yuya Uezato, Yasuhiko Minamide: Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata. DLT 2016: 393-405