Authors: ROSENBLUETH DA PERALTA JC

Citation: Da. Rosenblueth et Jc. Peralta, SLR INFERENCE - AN INFERENCE SYSTEM FOR FIXED-MODE LOGIC PROGRAMS, BASED ON SLR PARSING, The journal of logic programming, 34(3), 1998, pp. 227-259