Efficient Unificatioin with Infinite Terms in Logic Programming. - Alberto Martelli; Gianfranco Rossi (FGCS, 1984)

On the Semantics of Logic Programing Languages. - Alberto Martelli; Gianfranco Rossi (ICLP, 1986)

An Algorithm for Unification in Equational Theories. - Alberto Martelli; Corrado Moiso; Gianfranco Rossi (SLP, 1986)

Uses of Prolog in Implementation of Expert Systems. - Gianfranco Rossi (New Gener. Comput., 1986)

Enhancing Prolog to Support Prolog Programming Environments. - Alberto Martelli; Gianfranco Rossi (ESOP, 1988)

Local Definitions with Static Scope Rules in Logic Programming. - Laura Giordano 001; Alberto Martelli; Gianfranco Rossi (FGCS, 1988)

Using Prolog for Building Frog, a Hybrid Knowledge Representation System. - Luca Console; Gianfranco Rossi (New Gener. Comput., 1989)

{log}: A Logic Programming Language with Finite Sets. - Agostino Dovier; Eugenio G. Omodeo; Enrico Pontelli; Gianfranco Rossi (ICLP, 1991)

Embedding Finite Sets in a Logic Programming Language. - Agostino Dovier; Eugenio G. Omodeo; Enrico Pontelli; Gianfranco Rossi (ELP, 1992)

Logic Meta-Programming Facilities in 'LOG. - Iliano Cervesato; Gianfranco Rossi (META, 1992)

Extending Horn Clause Logic with Implication Goals. - Laura Giordano 001; Alberto Martelli; Gianfranco Rossi (Theor. Comput. Sci., 1992)

A WAM Implementation for the Logic Meta Programming Language 'Log. - Iliano Cervesato; Gianfranco Rossi (GULP, 1993)

Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. - Agostino Dovier; Gianfranco Rossi (GULP, 1993)

Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? - Eugenio G. Omodeo; Alberto Policriti; Gianfranco Rossi (GULP, 1993)

Unification of Hyperset Terms. - Davide Aliffi; Gianfranco Rossi; Agostino Dovier; Eugenio G. Omodeo (ICLP Workshop on Logic Programming with Sets, 1993)

Extensional and Intensional Sets in CLP with Intensional Negation. - Paola Bruscoli; Gianfranco Rossi; Agostino Dovier; Eugenio G. Omodeo; Enrico Pontelli (ICLP Workshop on Logic Programming with Sets, 1993)

Embedding extensional finite sets in CLP. - Agostino Dovier; Gianfranco Rossi (ILPS, 1993)

Programs as Data in an Extended Prolog. - Gianfranco Rossi (Comput. J., 1993)

Parametric Composable Modules in a Logic Programming Language. - Evelina Lamma; Paola Mello; Gianfranco Rossi (Comput. Lang., 1993)

Solving Systems of Equations over Hypersets. - Agostino Dovier; Eugenio G. Omodeo; Alberto Policriti; Gianfranco Rossi (GULP-PRODE (1), 1994)

Compiling Intensional Sets in CLP. - Paola Bruscoli; Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (ICLP, 1994)

Integrating Lists, Multisets, and Sets in a Logic Programming Framework. - Agostino Dovier; Alberto Policriti; Gianfranco Rossi (FroCoS, 1996)

A Language for Programming in Logic with Finite Sets. - Agostino Dovier; Eugenio G. Omodeo; Enrico Pontelli; Gianfranco Rossi (J. Log. Program., 1996)

Dealing with Infinite Intensional Sets in CLP. - Roberta Carmona; Agostino Dovier; Gianfranco Rossi (APPIA-GULP-PRODE, 1997)

Action Specifications in log. - Alessandro Provetti; Gianfranco Rossi (APPIA-GULP-PRODE, 1997)

Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. - Agostino Dovier; Carla Piazza; Gianfranco Rossi (APPIA-GULP-PRODE, 1998)

On the Representation and Management of Finite Sets in CLP Languages. - Agostino Dovier; Carla Piazza; Gianfranco Rossi; Enrico Pontelli (IJCSLP, 1998)

A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. - Agostino Dovier; Alberto Policriti; Gianfranco Rossi (Fundam. Informaticae, 1998)

ACI1 Constraints. - Agostino Dovier; Carla Piazza; Enrico Pontelli; Gianfranco Rossi (ICLP, 1999)

From Set to Hyperset Unification - Davide Aliffi; Agostino Dovier; Gianfranco Rossi (J. Funct. Log. Program., 1999)

Multiset Constraints and P Systems. - Agostino Dovier; Carla Piazza; Gianfranco Rossi (WMP, 2000)

A necessary condition for Constructive Negation in Constraint Logic Programming. - Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (Inf. Process. Lett., 2000)

Sets and constraint logic programming. - Agostino Dovier; Carla Piazza; Enrico Pontelli; Gianfranco Rossi (ACM Trans. Program. Lang. Syst., 2000)

Constructive Negation and Constraint Logic Programming with Sets. - Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (New Gener. Comput., 2001)

Set-based Nondeterministic Declarative Programming in Singleton. - Gianfranco Rossi (WFLP, 2002)

JAVASET: Declarative Programming in Java with Sets. - Elisabetta Poleo; Gianfranco Rossi (APPIA-GULP-PRODE, 2003)

Intensional Sets in CLP. - Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (ICLP, 2003)

Integrating finite domain constraints and CLP with sets. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (PPDP, 2003)

Set unification. - Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (Theory Pract. Log. Program., 2006)

JSetL: a Java library for supporting declarative programming in Java. - Gianfranco Rossi; E. Panegai; Elisabetta Poleo (Softw. Pract. Exp., 2007)

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. - Agostino Dovier; Carla Piazza; Gianfranco Rossi (ACM Trans. Comput. Log., 2008)

Answer Set Programming with Constraints Using Lazy Grounding. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (ICLP, 2009)

Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. - Federico Bergenti; Alessandro Dal Palù; Gianfranco Rossi (Fundam. Informaticae, 2009)

GASP: Answer Set Programming with Lazy Grounding. - Alessandro Dal Palù; Agostino Dovier; Enrico Pontelli; Gianfranco Rossi (Fundam. Informaticae, 2009)

Logic Programming in Italy: A Historical Perspective. - Gianfranco Rossi (25 Years GULP, 2010)

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. - Matteo Baldoni; Cristina Baroglio; Federico Bergenti; Antonio Boccalatte; Elisa Marengo; Maurizio Martelli; Viviana Mascardi; Luca Padovani; Viviana Patti; Alessandro Ricci; Gianfranco Rossi; Andrea Santi (MALLOW, 2010)

Programming with partially specified aggregates in Java. - Federico Bergenti; L. Chiarabini; Gianfranco Rossi (Comput. Lang. Syst. Struct., 2011)

From set unification to set constraints. - Gianfranco Rossi (Intelligenza Artificiale, 2011)

{log} as a Test Case Generator for the Test Template Framework. - Maximiliano Cristiá; Gianfranco Rossi; Claudia S. Frydman (SEFM, 2013)

Preface. - Fabio Fioravanti; Alberto Pettorossi; Gianfranco Rossi (Fundam. Informaticae, 2013)

Helping Programmers to Adopt Set-Based Specifications. - Maximiliano Cristiá; Gianfranco Rossi; Claudia S. Frydman (FMSEE&T@FM, 2015)

Nondeterministic Programming in Java with JSetL. - Gianfranco Rossi; Federico Bergenti (Fundam. Informaticae, 2015)

Adding partial functions to Constraint Logic Programming with sets. - Maximiliano Cristiá; Gianfranco Rossi; Claudia S. Frydman (Theory Pract. Log. Program., 2015)

A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form. - Federico Bergenti; Stefania Monica; Gianfranco Rossi (AI*IA, 2016)

A Decision Procedure for Sets, Binary Relations and Partial Functions. - Maximiliano Cristiá; Gianfranco Rossi (CAV (1), 2016)

Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form. - Federico Bergenti; Stefania Monica; Gianfranco Rossi (CILC, 2016)

A Decision Procedure for Restricted Intensional Sets. - Maximiliano Cristiá; Gianfranco Rossi (CADE, 2017)

A Set Solver for Finite Set Relation Algebra. - Maximiliano Cristiá; Gianfranco Rossi (RAMiCS, 2018)

Programming in Java with Restricted Intensional Sets. - Maximiliano Cristiá; Gianfranco Rossi (SETS@ABZ, 2018)

Constraint Logic Programming with Polynomial Constraints over Finite Domains. - Federico Bergenti; Stefania Monica; Gianfranco Rossi (Fundam. Informaticae, 2018)

Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2020)

$ {log }$: Applications to Software Specification, Prototyping and Verification. - Maximiliano Cristiá; Gianfranco Rossi (CoRR, 2021)

log: Set Formulas as Programs. - Maximiliano Cristiá; Gianfranco Rossi (CoRR, 2021)

Automated Proof of Bell-LaPadula Security Properties. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2021)

Automated Reasoning with Restricted Intensional Sets. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2021)

An Automatically Verified Prototype of the Tokeneer ID Station Specification. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2021)

Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. - Maximiliano Cristiá; Ricardo D. Katz; Gianfranco Rossi (Comput. J., 2022)

A Typechecker for a Set-Based Constraint Logic Programming Language. - Maximiliano Cristiá; Gianfranco Rossi (CoRR, 2022)

A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. - Maximiliano Cristiá; Gianfranco Rossi (CoRR, 2022)

Declarative Programming with Intensional Sets in Java Using JSetL. - Maximiliano Cristiá; Andrea Fois; Gianfranco Rossi (Comput. J., 2023)

Integrating Cardinality Constraints into Constraint Logic Programming with Sets. - Maximiliano Cristiá; Gianfranco Rossi (Theory Pract. Log. Program., 2023)

An Automatically Verified Prototype of a Landing Gear System. - Maximiliano Cristiá; Gianfranco Rossi (From Computational Logic to Computational Biology, 2024)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification. - Maximiliano Cristiá; Gianfranco Rossi (Theory Pract. Log. Program., 2024)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. - Maximiliano Cristiá; Gianfranco Rossi (ACM Trans. Comput. Log., 2024)

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2024)

From a Constraint Logic Programming Language to a Formal Verification Tool. - Maximiliano Cristiá; Alfredo Capozucca; Gianfranco Rossi (CoRR, 2025)