On Redundancy Elimination Tolerant Scheduling Rules

What this record says

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

CATALOG · The abstract is indexed.