A Preliminary Report on Integrating of Answer Set and Constraint Solving. - Sabrina Baselice; Piero A. Bonatti; Michael Gelfond (Answer Set Programming, 2005)

Towards an Integration of Answer Set and Constraint Solving. - Sabrina Baselice; Piero A. Bonatti; Michael Gelfond (ICLP, 2005)

On Interoperable Trust Negotiation Strategies. - Sabrina Baselice; Piero A. Bonatti; Marco Faella (POLICY, 2007)

Composing Normal Programs with Function Symbols. - Sabrina Baselice; Piero A. Bonatti (ICLP, 2008)

On program grounding in ASP. - Sabrina Baselice (2008)

On finitely recursive programs. - Sabrina Baselice; Piero A. Bonatti; Giovanni Criscuolo (Theory Pract. Log. Program., 2009)

A decidable subclass of finitary programs. - Sabrina Baselice; Piero A. Bonatti (Theory Pract. Log. Program., 2010)