Redundancy elimination and loop checks for logic programs

• Authors:

• F. Ferrucci;G. Pacini;M. I. Sessa

• Affiliations:

• -;-;-

• Venue:
• Information and Computation
• Year:
• 1995