C. (1998) SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing. J. Logic Programming, 34(3), 227-260.Rosenblueth, D.A., Peralta, J.C.: SLR inference an inference system for fixed-mode logic programs based on SLR parsing. Journal of Logic Programming...
This suggests incorporating the principles underlying LR parsing into a parser for grammars with context-sensitive information. We present a technique that applies a transformation to the program/grammar by adding leaves to the proof/parse trees and placing the contextual information in such leaves. ...