Generalizing completeness results for loop checks in logic programming

• Authors:

• Roland N. Bol

• Affiliations:

• Centre for Mathematics and Computer Science, Amsterdam, The Netherlands

• Venue:
• Theoretical Computer Science - Selected papers on theoretical issues of design and implementation of symbolic computation systems
• Year:
• 1992