Conditional Narrowing with Constructive Negation

• Authors:

• María José Ramírez;Moreno Falaschi

• Affiliations:

• -;-

• Venue:
• ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
• Year:
• 1992