- Integrating Finite Domain Constraints and CLP with Sets A. Dal Pal
- Multiset Constraints and P Systems ? Agostino Dovier 1 , Carla Piazza 2 , and Gianfranco Rossi 3
- Intensional Sets in CLP A. Dovier 1 , E. Pontelli 2 , and G. Rossi 3
- Electronic Notes in Theoretical Computer Science 76 (2002) URL: http://www.elsevier.nl/locate/entcs/volume76.html
- Declarative Programming in Java using JSetL Elio Panegai and Gianfranco Rossi
- From set to hyperset uni cation Davide Ali Agostino Dovier Gianfranco Rossi
- The JSetL library: supporting declarative programming in Java
- JSetL User's Manual Version 1.0
- Relating Set Constraints and Constraint Logic Programming with Finite Sets
- Sets and Constraint Logic Programming Agostino Dovier
- JavaSet: Declarative Programming in Java with Sets Elisabetta Poleo and Gianfranco Rossi
- Multiset rewriting by multiset constraint solving Agostino Dovier y Carla Piazza z
- Answer Set Programming with Constraints using Lazy Grounding
- JSetL: A Java Library for Supporting Declarative Programming in Java
- Integrating Finite Domain Constraints and CLP with Sets
- Narrowing the gap between Set-Constraints and CLP(SET )-Constraints
- Dealing with In nite Intensional Sets in CLP Roberta Carmona | Agostino Dovier ~ Gianfranco Rossi |
- JSetL: Declarative Programming in Java Elisabetta Poleo and Gianfranco Rossi
- A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
- PROGRAM SPECIFICATION AND PROGRAMMING WITH SETS IN LOGIC
- Set-Based Constraints Agostino Dovier Carla Piazza Gianfranco Rossi y
- Constructive Negation and Constraint Logic Programming with Sets 1 Constructive Negation and Constraint Logic
- JSetL: Declarative Programming in Java with Sets G. Rossi, E. Poleo
- Fundamenta Informaticae 36 (2/3)1998 201{235(PU) 201 A uniform axiomatic view of lists, multisets, and sets, and
- A Necessary Condition for Constructive Negation in Constraint Logic Programming
- A Constraint Logic Programming Framework for E ective Programming with Sets and Finite Domains
- Intensional Sets in CLP A. Dovier 1 , E. Pontelli 2 , and G. Rossi 3
- Multiset Constraints and P Systems Agostino Dovier, Carla Piazza, and Gianfranco Rossi
- Set Uni cation Agostino Dovier
- flogg User's Manual Version 3.3
- JSetL User's Manual Version 2.3