Integrating Lists, Multisets, and Sets in a Logic Programming Framework

Agostino Dovier, Alberto Policriti, Gianfranco Rossi. Integrating Lists, Multisets, and Sets in a Logic Programming Framework. In Frontiers of Combining Systems (FroCos). pages 303-319, 1996.

Abstract

Abstract is missing.