François Barthélemy Eric Villemonte de la Clergerie Subsumption-oriented Push-Down Automata. 100-114 1992 conf/plilp/1992 PLILP db/conf/plilp/plilp92.html#BarthelemyC92 http://dx.doi.org/10.1007/3-540-55844-6_89