SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing.

David A. Rosenblueth Julio C. Peralta SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing. 227-259 1998 34 J. Log. Program. 3 db/journals/jlp/jlp34.html#RosenbluethP98