Ryo Yoshinaka An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs. 487-498 2008 LATA http://dx.doi.org/10.1007/978-3-540-88282-4_44 conf/lata/2008 db/conf/lata/lata2008.html#Yoshinaka08