Embedding Finite Sets in a Logic Programming Language

• Authors:

• Agostino Dovier;Eugenio G. Omodeo;Enrico Pontelli;Gianfranco Rossi

• Affiliations:

• -;-;-;-

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