How successful are plant species reintroductions? S Godefroid, C Piazza, G Rossi, S Buord, AD Stevens, R Aguraiuja, ... Biological Conservation 144 (2), 672-682, 2011 | 583 | 2011 |

Special Issue on the Italian Conference on Computational Logic: CILC 2011 F Fioravanti, A Pettorossi, G Rossi FUNDAMENTA INFORMATICAE 124 (4), I-II, 2013 | 177* | 2013 |

Evidence for association of a common variant of the endothelial nitric oxide synthase gene (Glu298→ Asp polymorphism) to the presence, extent, and severity of coronary artery … MG Colombo, MG Andreassi, U Paradossi, N Botto, S Manfredi, S Masetti, ... Heart 87 (6), 525-528, 2002 | 161 | 2002 |

Biomarkers of oxidative stress after controlled human exposure to ozone M Corradi, R Alinovi, M Goldoni, MV Vettori, G Folesani, P Mozzoni, ... Toxicology letters 134 (1-3), 219-225, 2002 | 150 | 2002 |

Sets and constraint logic programming A Dovier, C Piazza, E Pontelli, G Rossi ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (5), 861-931, 2000 | 131 | 2000 |

{log}: A language for programming in logic with finite sets A Dovier, EG Omodeo, E Pontelli, G Rossi The Journal of logic programming 28 (1), 1-44, 1996 | 121 | 1996 |

Gasp: Answer set programming with lazy grounding A Dal Palu, A Dovier, E Pontelli, G Rossi Fundamenta Informaticae 96 (3), 297-322, 2009 | 89 | 2009 |

An algorithm for unification in equational theories A Martelli Third Conference on Logic Programming, Utah, 1986 | 86 | 1986 |

{log}: A logic programming language with finite sets A Dovier, EG Omodeo, E Pontelli, G Rossi Proc. 8th Int. Conf. on Logic Programming, 1991 | 78 | 1991 |

Embedding extensional finite sets in CLP. A Dovier, G Rossi ILPS, 540-556, 1993 | 65 | 1993 |

Set unification A Dovier, E Pontelli, G Rossi Theory and Practice of Logic Programming 6 (6), 645-701, 2006 | 58* | 2006 |

Pin and bolt bearing strength of fibreglass/aluminium laminates G Caprino, A Squillace, G Giorleo, L Nele, L Rossi Composites Part A: Applied Science and Manufacturing 36 (9), 1307-1315, 2005 | 44 | 2005 |

A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms A Dovier, A Policriti, G Rossi Fundamenta Informaticae 36 (2, 3), 201-234, 1998 | 43 | 1998 |

Local definitions with static scope rules in logic programming L Giordano, A Martelli, GF Rossi Int. Conf. on Fifth Generation Computer Systems, 689-696, 1988 | 41 | 1988 |

Efficient unification with infinite terms in logic programming A Martelli ON FIFTH GENERATION COMPUTER SYSTEMS, 202-209, 1984 | 37 | 1984 |

Answer set programming with constraints using lazy grounding A Dal Palů, A Dovier, E Pontelli, G Rossi International Conference on Logic Programming, 115-129, 2009 | 35 | 2009 |

Integrating finite domain constraints and CLP with sets AD Palú, A Dovier, E Pontelli, G Rossi Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 35 | 2003 |

Extending Horn clause logic with implication goals L Giordano, A Martelli, G Rossi Theoretical Computer Science 95 (1), 43-74, 1992 | 34 | 1992 |

Embedding finite sets in a logic programming language A Dovier, EG Omodeo, E Pontelli, G Rossi International Workshop on Extensions of Logic Programming, 150-167, 1992 | 34 | 1992 |

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets A Dovier, C Piazza, G Rossi ACM Transactions on Computational Logic (TOCL) 9 (3), 1-30, 2008 | 33* | 2008 |