Transformation of logic programs: Foundations and techniques A Pettorossi, M Proietti The Journal of Logic Programming 19, 261-320, 1994 | 324 | 1994 |

Rules and strategies for transforming functional and logic programs A Pettorossi, M Proietti ACM Computing Surveys (CSUR) 28 (2), 360-414, 1996 | 196 | 1996 |

VeriMAP: A tool for verifying programs through transformations E De Angelis, F Fioravanti, A Pettorossi, M Proietti Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 92 | 2014 |

A powerful strategy for deriving efficient programs by transformation A Pettorossi Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984 | 83 | 1984 |

Transformation of logic programs A Pettorossi, M Proietti Handbook of logic in artificial intelligence and logic programming 5 (94 …, 1998 | 76 | 1998 |

Semantics preserving transformation rules for Prolog M Proietti, A Pettorossi ACM SIGPLAN Notices 26 (9), 274-284, 1991 | 70 | 1991 |

Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs M Proietti, A Pettorossi Theoretical Computer Science 142 (1), 89-124, 1995 | 67 | 1995 |

Unfolding—definition—folding, in this order, for avoiding unnecessary variables in logic programs M Proietti, A Pettorossi International Symposium on Programming Language Implementation and Logic …, 1991 | 67 | 1991 |

Synthesis and transformation of logic programs using unfold/fold proofs A Pettorossi, M Proietti The Journal of Logic Programming 41 (2-3), 197-230, 1999 | 66 | 1999 |

Verifying CTL properties of infinite state systems by specializing constraint logic programs F Fioravanti, A Pettorossi, M Proietti Proc. VCL 1, 85-96, 2001 | 64 | 2001 |

Generalization strategies for the verification of infinite state systems F Fioravanti, A Pettorossi, M Proietti, V Senni Theory and Practice of Logic Programming 13 (2), 175-199, 2013 | 59 | 2013 |

Semantics-based generation of verification conditions by program specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Proceedings of the 17th International Symposium on Principles and Practice …, 2015 | 58 | 2015 |

The loop absorption and the generalization strategies for the development of logic programs and partial deduction M Proietti, A Pettorossi The Journal of Logic Programming 16 (1-2), 123-161, 1993 | 58 | 1993 |

A comparative revisitation of some program transformation techniques A Pettorossi, M Proietti Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005 | 48 | 2005 |

Program verification via iterated specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Science of Computer Programming 95, 149-175, 2014 | 47 | 2014 |

Transformation rules for locally stratified constraint logic programs F Fioravanti, A Pettorossi, M Proietti Program Development in Computational Logic: A Decade of Research Advances in …, 2004 | 47 | 2004 |

Relational verification through horn clause transformation E De Angelis, F Fioravanti, A Pettorossi, M Proietti Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016 | 43 | 2016 |

Synthesis of eureka predicates for developing logic programs M Proietti, A Pettorossi European Symposium on Programming, 306-325, 1990 | 43 | 1990 |

Perfect model checking via unfold/fold transformations A Pettorossi, M Proietti International Conference on Computational Logic, 613-628, 2000 | 37 | 2000 |

Transformation of programs and use of tupling strategy A Pettorossi Proceedings Informatica 77, 1-6, 1977 | 36 | 1977 |