Miguel A. Alonso Víctor J. Díaz Manuel Vilares Ferro Tabulation of Bidirectional Push Down Automata. 35-46 http://dx.doi.org/10.1007/3-540-44977-9_3 2002 conf/wia/2002 CIAA db/conf/wia/ciaa2002.html#AlonsoDF02