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. Journal of Logic and Algebraic Programming, 34(3):227-259, 1998.

Abstract

Abstract is missing.