A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique.

Miguel A. Alonso Eric Villemonte de la Clergerie Manuel Vilares Ferro A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique. 44-61 2001 conf/lacl/2001 LACL http://link.springer.de/link/service/series/0558/bibs/2099/20990044.htm db/conf/lacl/lacl2001.html#AlonsoCF01