Handling Equality in Logic Programming via Basic Folding

• Authors:

• Anatoli Degtyarev;Andrei Voronkov

• Affiliations:

• -;-

• Venue:
• ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
• Year:
• 1996