Manuel Vilares Ferro Miguel Angel Alonso Pardo An LALR Extension for DCGs in Dynamic Programming. 79-88 1996 conf/agp/1996 APPIA-GULP-PRODE db/conf/agp/agp1996.html#FerroP96