Loop checking in SLD-derivations by well-quasi-ordering of goals

• Authors:

• Giuliano Pacini;Maria I. Sessa

• Affiliations:

• Accademia Navale, Livorno, Italy;Univ. di Salerno, Salerno, Italy

• Venue:
• Theoretical Computer Science
• Year:
• 2000