On Redundancy Elimination Tolerant Scheduling Rules

F. Ferrucci, G. Pacini, M. I. Sessa

In (Ferrucci, Pacini and Sessa, 1995) an extended form of resolution, called Reduced SLD resolution (RSLD), is introduced. In essence, an RSLD derivation is an SLD derivation such…