BibTeX records: Alberto Pettorossi

download as .bib file

@inproceedings{DBLP:conf/pepm/PettorossiPFA24,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Fabio Fioravanti and
                  Emanuele {De Angelis}},
  editor       = {Gabriele Keller and
                  Meng Wang},
  title        = {A Historical Perspective on Program Transformation and Recent Developments
                  (Invited Contribution)},
  booktitle    = {Proceedings of the 2024 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2024, London,
                  UK, 16 January 2024},
  pages        = {16--38},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3635800.3637446},
  doi          = {10.1145/3635800.3637446},
  timestamp    = {Fri, 12 Jan 2024 11:03:54 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/PettorossiPFA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AngelisFPP23,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Robert Gl{\"{u}}ck and
                  Bishoksan Kafle},
  title        = {Constrained Horn Clauses Satisfiability via Catamorphic Abstractions},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 33rd International
                  Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14330},
  pages        = {39--57},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45784-5\_4},
  doi          = {10.1007/978-3-031-45784-5\_4},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AngelisFPP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AngelisFPP23,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Michael Hanus and
                  Daniela Inclezan},
  title        = {Multiple Query Satisfiability of Constrained Horn Clauses},
  booktitle    = {Practical Aspects of Declarative Languages - 25th International Symposium,
                  {PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13880},
  pages        = {125--143},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-24841-2\_9},
  doi          = {10.1007/978-3-031-24841-2\_9},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/AngelisFPP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AngelisFPP22,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Satisfiability of constrained Horn clauses on algebraic data types:
                  {A} transformation-based approach},
  journal      = {J. Log. Comput.},
  volume       = {32},
  number       = {2},
  pages        = {402--442},
  year         = {2022},
  url          = {https://doi.org/10.1093/logcom/exab090},
  doi          = {10.1093/LOGCOM/EXAB090},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/AngelisFPP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisPFP22,
  author       = {Emanuele {De Angelis} and
                  Maurizio Proietti and
                  Fabio Fioravanti and
                  Alberto Pettorossi},
  title        = {Verifying Catamorphism-Based Contracts using Constrained Horn Clauses},
  journal      = {Theory Pract. Log. Program.},
  volume       = {22},
  number       = {4},
  pages        = {555--572},
  year         = {2022},
  url          = {https://doi.org/10.1017/S1471068422000175},
  doi          = {10.1017/S1471068422000175},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/AngelisPFP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFGHPP22,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Analysis and Transformation of Constrained Horn Clauses for Program
                  Verification},
  journal      = {Theory Pract. Log. Program.},
  volume       = {22},
  number       = {6},
  pages        = {974--1042},
  year         = {2022},
  url          = {https://doi.org/10.1017/S1471068421000211},
  doi          = {10.1017/S1471068421000211},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AngelisFGHPP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12228,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Geoffrey William Hamilton and
                  Temesghen Kahsai and
                  Maurizio Proietti},
  title        = {Contract Strengthening through Constrained Horn Clause Verification},
  booktitle    = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
                  and 10th International Workshop on Verification and Program Transformation,
                  HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
                  and Program TransformationMunich, Germany, 3rd April 2022},
  series       = {{EPTCS}},
  volume       = {373},
  pages        = {23--34},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.373.3},
  doi          = {10.4204/EPTCS.373.3},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-12228.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06236,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Verifying Catamorphism-Based Contracts using Constrained Horn Clauses},
  journal      = {CoRR},
  volume       = {abs/2205.06236},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.06236},
  doi          = {10.48550/ARXIV.2205.06236},
  eprinttype    = {arXiv},
  eprint       = {2205.06236},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-06236.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-15207,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Multiple Query Satisfiability of Constrained Horn Clauses},
  journal      = {CoRR},
  volume       = {abs/2211.15207},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.15207},
  doi          = {10.48550/ARXIV.2211.15207},
  eprinttype    = {arXiv},
  eprint       = {2211.15207},
  timestamp    = {Tue, 29 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-15207.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Pettorossi21,
  author       = {Alberto Pettorossi},
  title        = {Techniques for Searching, Parsing, and Matching},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-63189-5},
  doi          = {10.1007/978-3-030-63189-5},
  isbn         = {978-3-030-63188-8},
  timestamp    = {Mon, 17 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/Pettorossi21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00739,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Analysis and Transformation of Constrained Horn Clauses for Program
                  Verification},
  journal      = {CoRR},
  volume       = {abs/2108.00739},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.00739},
  eprinttype    = {arXiv},
  eprint       = {2108.00739},
  timestamp    = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-00739.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-11819,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Satisfiability of Constrained Horn Clauses on Algebraic Data Types:
                  {A} Transformation-based Approach},
  journal      = {CoRR},
  volume       = {abs/2111.11819},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.11819},
  eprinttype    = {arXiv},
  eprint       = {2111.11819},
  timestamp    = {Fri, 26 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-11819.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HermenegildoLPP20,
  author       = {Manuel V. Hermenegildo and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {177},
  number       = {3-4},
  year         = {2020},
  url          = {https://doi.org/10.3233/FI-2020-1987},
  doi          = {10.3233/FI-2020-1987},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HermenegildoLPP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AngelisFPP20,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Nicolas Peltier and
                  Viorica Sofronie{-}Stokkermans},
  title        = {Removing Algebraic Data Types from Constrained Horn Clauses Using
                  Difference Predicates},
  booktitle    = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
                  2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12166},
  pages        = {83--102},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51074-9\_6},
  doi          = {10.1007/978-3-030-51074-9\_6},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AngelisFPP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02927,
  author       = {Alberto Pettorossi},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {A Historical Account of My Early Research Interests},
  booktitle    = {Proceedings 8th International Workshop on Verification and Program
                  Transformation and 7th Workshop on Horn Clauses for Verification and
                  Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
  series       = {{EPTCS}},
  volume       = {320},
  pages        = {1--28},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.1},
  doi          = {10.4204/EPTCS.320.1},
  timestamp    = {Mon, 26 Apr 2021 11:43:53 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02927.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07749,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Removing Algebraic Data Types from Constrained Horn Clauses Using
                  Difference Predicates},
  journal      = {CoRR},
  volume       = {abs/2004.07749},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.07749},
  eprinttype    = {arXiv},
  eprint       = {2004.07749},
  timestamp    = {Tue, 21 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-07749.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AngelisFMPP19,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Maria Chiara Meo and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Semantics and Controllability of Time-Aware Business Processes},
  journal      = {Fundam. Informaticae},
  volume       = {165},
  number       = {3-4},
  pages        = {205--244},
  year         = {2019},
  url          = {https://doi.org/10.3233/FI-2019-1783},
  doi          = {10.3233/FI-2019-1783},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/AngelisFMPP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFPP19,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Solving Horn Clauses on Inductive Data Types Without Induction - {ERRATUM}},
  journal      = {Theory Pract. Log. Program.},
  volume       = {19},
  number       = {4},
  pages        = {629},
  year         = {2019},
  url          = {https://doi.org/10.1017/S147106841900005X},
  doi          = {10.1017/S147106841900005X},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AngelisFPP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AngelisFPP19,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Alberto Casagrande and
                  Eugenio G. Omodeo},
  title        = {Proving Properties of Sorting Programs: {A} Case Study in Horn Clause
                  Verification},
  booktitle    = {Proceedings of the 34th Italian Conference on Computational Logic,
                  Trieste, Italy, June 19-21, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2396},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AngelisFPP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AngelisFPPP19,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Adri{\'{a}}n Palacios and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Dirk Beyer and
                  Chantal Keller},
  title        = {Property-Based Test Case Generators for Free},
  booktitle    = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
                  Portugal, October 9-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11823},
  pages        = {186--206},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31157-5\_12},
  doi          = {10.1007/978-3-030-31157-5\_12},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tap/AngelisFPPP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-07188,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Lemma Generation for Horn Clause Satisfiability: {A} Preliminary Study},
  booktitle    = {Proceedings Seventh International Workshop on Verification and Program
                  Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
  series       = {{EPTCS}},
  volume       = {299},
  pages        = {4--18},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.299.4},
  doi          = {10.4204/EPTCS.299.4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-07188.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-03999,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Emanuele {De Angelis} and
                  Grigory Fedyukovich and
                  Nikos Tzevelekos and
                  Mattias Ulbrich},
  title        = {Proving Properties of Sorting Programs: {A} Case Study in Horn Clause
                  Verification},
  booktitle    = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
                  and Synthesis and Third Workshop on Program Equivalence and Relational
                  Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
                  2019},
  series       = {{EPTCS}},
  volume       = {296},
  pages        = {48--75},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.296.8},
  doi          = {10.4204/EPTCS.296.8},
  timestamp    = {Mon, 26 Jun 2023 20:50:18 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-03999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarateaMAP18,
  author       = {Marco Maratea and
                  Viviana Mascardi and
                  Davide Ancona and
                  Alberto Pettorossi},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {159},
  number       = {1-2},
  pages        = {v--vi},
  year         = {2018},
  url          = {https://doi.org/10.3233/FI-2018-1655},
  doi          = {10.3233/FI-2018-1655},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MarateaMAP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FiorentiniMP18,
  author       = {Camillo Fiorentini and
                  Alberto Momigliano and
                  Alberto Pettorossi},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {161},
  number       = {1-2},
  pages        = {v--vii},
  year         = {2018},
  url          = {https://doi.org/10.3233/FI-2018-1691},
  doi          = {10.3233/FI-2018-1691},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FiorentiniMP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFPP18,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Predicate Pairing for program verification},
  journal      = {Theory Pract. Log. Program.},
  volume       = {18},
  number       = {2},
  pages        = {126--166},
  year         = {2018},
  url          = {https://doi.org/10.1017/S1471068417000497},
  doi          = {10.1017/S1471068417000497},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AngelisFPP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFPP18a,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Solving Horn Clauses on Inductive Data Types Without Induction},
  journal      = {Theory Pract. Log. Program.},
  volume       = {18},
  number       = {3-4},
  pages        = {452--469},
  year         = {2018},
  url          = {https://doi.org/10.1017/S1471068418000157},
  doi          = {10.1017/S1471068418000157},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AngelisFPP18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-04770,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Adri{\'{a}}n Palacios and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Temesghen Kahsai and
                  Germ{\'{a}}n Vidal},
  title        = {Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs},
  booktitle    = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis,
                  {HCVS} 2018, Oxford, UK, 13th July 2018},
  series       = {{EPTCS}},
  volume       = {278},
  pages        = {19--26},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.278.4},
  doi          = {10.4204/EPTCS.278.4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-04770.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-09007,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Solving Horn Clauses on Inductive Data Types Without Induction},
  journal      = {CoRR},
  volume       = {abs/1804.09007},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.09007},
  eprinttype    = {arXiv},
  eprint       = {1804.09007},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-09007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AngelisFPP17a,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Program Verification using Constraint Handling Rules and Array Constraint
                  Generalizations},
  journal      = {Fundam. Informaticae},
  volume       = {150},
  number       = {1},
  pages        = {73--117},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1461},
  doi          = {10.3233/FI-2017-1461},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/AngelisFPP17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GiordanoGPP17a,
  author       = {Laura Giordano and
                  Valentina Gliozzi and
                  Alberto Pettorossi and
                  Gian Luca Pozzato},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {150},
  number       = {1},
  pages        = {v--vi},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1457},
  doi          = {10.3233/FI-2017-1457},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GiordanoGPP17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AngelisFPP17,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Semantics-based generation of verification conditions via program
                  specialization},
  journal      = {Sci. Comput. Program.},
  volume       = {147},
  pages        = {78--108},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.11.002},
  doi          = {10.1016/J.SCICO.2016.11.002},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AngelisFPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AngelisFPP17,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Fabio Fioravanti and
                  John P. Gallagher},
  title        = {Predicate Pairing with Abstraction for Relational Verification},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 27th International
                  Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10855},
  pages        = {289--305},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-94460-9\_17},
  doi          = {10.1007/978-3-319-94460-9\_17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AngelisFPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AngelisFMPP17,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Maria Chiara Meo and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Stefania Costantini and
                  Enrico Franconi and
                  William Van Woensel and
                  Roman Kontchakov and
                  Fariba Sadri and
                  Dumitru Roman},
  title        = {Verifying Controllability of Time-Aware Business Processes},
  booktitle    = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
                  London, UK, July 12-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10364},
  pages        = {103--118},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61252-2\_8},
  doi          = {10.1007/978-3-319-61252-2\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/AngelisFMPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PettorossiP17,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Regularity of non context-free languages over a singleton terminal
                  alphabet},
  journal      = {CoRR},
  volume       = {abs/1705.09695},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.09695},
  eprinttype    = {arXiv},
  eprint       = {1705.09695},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PettorossiP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-01473,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Predicate Pairing for Program Verification},
  journal      = {CoRR},
  volume       = {abs/1708.01473},
  year         = {2017},
  url          = {http://arxiv.org/abs/1708.01473},
  eprinttype    = {arXiv},
  eprint       = {1708.01473},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1708-01473.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04809,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Enhancing Predicate Pairing with Abstraction for Relational Verification},
  journal      = {CoRR},
  volume       = {abs/1709.04809},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.04809},
  eprinttype    = {arXiv},
  eprint       = {1709.04809},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-04809.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AngelisFPP16,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Camillo Fiorentini and
                  Alberto Momigliano},
  title        = {Verifying Relational Program Properties by Transforming Constrained
                  Horn clauses},
  booktitle    = {Proceedings of the 31st Italian Conference on Computational Logic,
                  Milano, Italy, June 20-22, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1645},
  pages        = {69--85},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1645/paper\_14.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AngelisFPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AngelisFMPP16,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Maria Chiara Meo and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Manuel V. Hermenegildo and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
  title        = {Verification of Time-Aware Business Processes Using Constrained Horn
                  Clauses},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 26th International
                  Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10184},
  pages        = {38--55},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-63139-4\_3},
  doi          = {10.1007/978-3-319-63139-4\_3},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/AngelisFMPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AngelisFPP16,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Xavier Rival},
  title        = {Relational Verification Through Horn Clause Transformation},
  booktitle    = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
                  UK, September 8-10, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9837},
  pages        = {147--169},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-53413-7\_8},
  doi          = {10.1007/978-3-662-53413-7\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/AngelisFPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AngelisFPP16,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {John P. Gallagher and
                  Philipp R{\"{u}}mmer},
  title        = {Removing Unnecessary Variables from Horn Clause Verification Conditions},
  booktitle    = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
  series       = {{EPTCS}},
  volume       = {219},
  pages        = {49--55},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.219.5},
  doi          = {10.4204/EPTCS.219.5},
  timestamp    = {Sat, 30 Sep 2023 10:07:57 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AngelisFPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AngelisFMPP16,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Maria Chiara Meo and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Verification of Time-Aware Business Processes using Constrained Horn
                  Clauses},
  journal      = {CoRR},
  volume       = {abs/1608.02807},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.02807},
  eprinttype    = {arXiv},
  eprint       = {1608.02807},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AngelisFMPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AngelisFPP15,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {A Rule-based Verification Strategy for Array Manipulating Programs},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {329--355},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1257},
  doi          = {10.3233/FI-2015-1257},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/AngelisFPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFPP15,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Proving correctness of imperative programs by linearizing constrained
                  Horn clauses},
  journal      = {Theory Pract. Log. Program.},
  volume       = {15},
  number       = {4-5},
  pages        = {635--650},
  year         = {2015},
  url          = {https://doi.org/10.1017/S1471068415000289},
  doi          = {10.1017/S1471068415000289},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AngelisFPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AngelisFPP15,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {Semantics-based generation of verification conditions by program specialization},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {91--102},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790529},
  doi          = {10.1145/2790449.2790529},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/AngelisFPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/LisitsaNP15,
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh and
                  Alberto Pettorossi},
  title        = {Proceedings of the Third International Workshop on Verification and
                  Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
                  April 2015},
  series       = {{EPTCS}},
  volume       = {199},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.199},
  doi          = {10.4204/EPTCS.199},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LisitsaNP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AngelisFPP15,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Proving Correctness of Imperative Programs by Linearizing Constrained
                  Horn Clauses},
  journal      = {CoRR},
  volume       = {abs/1507.05877},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.05877},
  eprinttype    = {arXiv},
  eprint       = {1507.05877},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AngelisFPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AngelisFPP14,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Program verification via iterated specialization},
  journal      = {Sci. Comput. Program.},
  volume       = {95},
  pages        = {149--175},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.scico.2014.05.017},
  doi          = {10.1016/J.SCICO.2014.05.017},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AngelisFPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AngelisFPP14,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Program Verification using Constraint Handling Rules and Array Constraint
                  Generalizations},
  booktitle    = {{VPT} 2014. Second International Workshop on Verification and Program
                  Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
                  an event of the Vienna Summer of Logic 2014 and it is co-located with
                  the 26th International Conference on Computer Aided Verification {CAV}
                  2014},
  series       = {EPiC Series in Computing},
  volume       = {28},
  pages        = {3--18},
  publisher    = {EasyChair},
  year         = {2014},
  url          = {https://doi.org/10.29007/dkxs},
  doi          = {10.29007/DKXS},
  timestamp    = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AngelisFPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AngelisFPP14,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Laura Giordano and
                  Valentina Gliozzi and
                  Gian Luca Pozzato},
  title        = {Program Verification using Constraint Handling Rules and Array Constraint
                  Generalizations},
  booktitle    = {Proceedings of the 29th Italian Conference on Computational Logic,
                  Torino, Italy, June 16-18, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1195},
  pages        = {114--131},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1195/long8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AngelisFPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AngelisFPP14,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Klaus Havelund},
  title        = {VeriMAP: {A} Tool for Verifying Programs through Transformations},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 20th International Conference, {TACAS} 2014, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8413},
  pages        = {568--574},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54862-8\_47},
  doi          = {10.1007/978-3-642-54862-8\_47},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/AngelisFPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AngelisFPP14,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Kenneth L. McMillan and
                  Xavier Rival},
  title        = {Verifying Array Programs by Transforming Verification Conditions},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 15th International
                  Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8318},
  pages        = {182--202},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54013-4\_11},
  doi          = {10.1007/978-3-642-54013-4\_11},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/AngelisFPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioravantiPPS13,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  title        = {Controlling Polyvariance for Specialization-based Verification},
  journal      = {Fundam. Informaticae},
  volume       = {124},
  number       = {4},
  pages        = {483--502},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-845},
  doi          = {10.3233/FI-2013-845},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/FioravantiPPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioravantiPR13,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Gianfranco Rossi},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {124},
  number       = {4},
  pages        = {i--ii},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-838},
  doi          = {10.3233/FI-2013-838},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/FioravantiPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioravantiPPS13a,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  title        = {Proving Theorems by Program Transformation},
  journal      = {Fundam. Informaticae},
  volume       = {127},
  number       = {1-4},
  pages        = {115--134},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-899},
  doi          = {10.3233/FI-2013-899},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/FioravantiPPS13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FioravantiPPS13,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  title        = {Generalization strategies for the verification of infinite state systems},
  journal      = {Theory Pract. Log. Program.},
  volume       = {13},
  number       = {2},
  pages        = {175--199},
  year         = {2013},
  url          = {https://doi.org/10.1017/S1471068411000627},
  doi          = {10.1017/S1471068411000627},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/FioravantiPPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PettorossiP13,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Program Transformation for Program Verification},
  booktitle    = {First International Workshop on Verification and Program Transformation,
                  {VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
  series       = {EPiC Series in Computing},
  volume       = {16},
  pages        = {13--14},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/t9v2},
  doi          = {10.29007/T9V2},
  timestamp    = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PettorossiP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AngelisFPP13,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Verification of Imperative Programs through Transformation of Constraint
                  Logic Programs},
  booktitle    = {First International Workshop on Verification and Program Transformation,
                  {VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
  series       = {EPiC Series in Computing},
  volume       = {16},
  pages        = {30--41},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/163x},
  doi          = {10.29007/163X},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AngelisFPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AngelisFPP13,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Domenico Cantone and
                  Marianna Nicolosi Asmundo},
  title        = {Verification of Imperative Programs by Transforming Constraint Logic
                  Programs},
  booktitle    = {Proceedings of the 28th Italian Conference on Computational Logic,
                  Catania, Italy, September 25-27, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1068},
  pages        = {83--98},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1068/paper-l06.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AngelisFPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AngelisFPP13,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Elvira Albert and
                  Shin{-}Cheng Mu},
  title        = {Verifying programs via iterated specialization},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
                  and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
                  2013},
  pages        = {43--52},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2426890.2426899},
  doi          = {10.1145/2426890.2426899},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/AngelisFPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AngelisFPP13,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Anindya Banerjee and
                  Olivier Danvy and
                  Kyung{-}Goo Doh and
                  John Hatcliff},
  title        = {Verification of Imperative Programs by Constraint Logic Program Transformation},
  booktitle    = {Semantics, Abstract Interpretation, and Reasoning about Programs:
                  Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
                  Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
  series       = {{EPTCS}},
  volume       = {129},
  pages        = {186--210},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.129.12},
  doi          = {10.4204/EPTCS.129.12},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AngelisFPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PettorossiPS12,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  title        = {Constraint-based correctness proofs for logic program transformations},
  journal      = {Formal Aspects Comput.},
  volume       = {24},
  number       = {4-6},
  pages        = {569--594},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00165-012-0233-8},
  doi          = {10.1007/S00165-012-0233-8},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/PettorossiPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioravantiPPS12,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  title        = {Improving Reachability Analysis of Infinite State Systems by Specialization},
  journal      = {Fundam. Informaticae},
  volume       = {119},
  number       = {3-4},
  pages        = {281--300},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-738},
  doi          = {10.3233/FI-2012-738},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/FioravantiPPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AngelisPP12,
  author       = {Emanuele {De Angelis} and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Synthesizing Concurrent Programs Using Answer Set Programming},
  journal      = {Fundam. Informaticae},
  volume       = {120},
  number       = {3-4},
  pages        = {205--229},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-758},
  doi          = {10.3233/FI-2012-758},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AngelisPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AngelisFPP12,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Francesca A. Lisi},
  title        = {Software Model Checking by Program Specialization},
  booktitle    = {Proceedings of the 9th Italian Convention on Computational Logic,
                  Rome, Italy, June 6-7, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {857},
  pages        = {89--103},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-857/paper\_f07.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AngelisFPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AngelisFPP12,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Elvira Albert},
  title        = {Specialization with Constrained Generalization for Software Model
                  Checking},
  booktitle    = {Logic-Based Program Synthesis and Transformation, 22nd International
                  Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7844},
  pages        = {51--70},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-38197-3\_5},
  doi          = {10.1007/978-3-642-38197-3\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/AngelisFPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GavanelliMP11,
  author       = {Marco Gavanelli and
                  Toni Mancini and
                  Alberto Pettorossi},
  title        = {{RCRA} 2009 Experimental Evaluation of Algorithms for Solving Problems
                  with Combinatorial Explosion},
  journal      = {Fundam. Informaticae},
  volume       = {107},
  number       = {2-3},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-396},
  doi          = {10.3233/FI-2011-396},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/GavanelliMP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/FioravantiPPS11,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  title        = {Program transformation for development, verification, and synthesis
                  of programs},
  journal      = {Intelligenza Artificiale},
  volume       = {5},
  number       = {1},
  pages        = {119--125},
  year         = {2011},
  url          = {https://doi.org/10.3233/IA-2011-0014},
  doi          = {10.3233/IA-2011-0014},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ia/FioravantiPPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/FioravantiPPS11,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Fabio Fioravanti},
  title        = {Controlling Polyvariance for Specialization-based Verification},
  booktitle    = {Proceedings of the 26th Italian Conference on Computational Logic,
                  Pescara, Italy, August 31 - September 2, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {810},
  pages        = {179--197},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-810/paper-l11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FioravantiPPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AngelisPP11,
  author       = {Emanuele {De Angelis} and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Fabio Fioravanti},
  title        = {Synthesizing Concurrent Programs using Answer Set Programming},
  booktitle    = {Proceedings of the 26th Italian Conference on Computational Logic,
                  Pescara, Italy, August 31 - September 2, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {810},
  pages        = {245--259},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-810/paper-l15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AngelisPP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FioravantiPPS11,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Germ{\'{a}}n Vidal},
  title        = {Using Real Relaxations during Program Specialization},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 21st International
                  Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7225},
  pages        = {106--122},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32211-2\_8},
  doi          = {10.1007/978-3-642-32211-2\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FioravantiPPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FioravantiPPS11,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Giorgio Delzanno and
                  Igor Potapov},
  title        = {Improving Reachability Analysis of Infinite State Systems by Specialization},
  booktitle    = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
                  Italy, September 28-30, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6945},
  pages        = {165--179},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24288-5\_15},
  doi          = {10.1007/978-3-642-24288-5\_15},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rp/FioravantiPPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0999,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  title        = {Generalization Strategies for the Verification of Infinite State Systems},
  journal      = {CoRR},
  volume       = {abs/1110.0999},
  year         = {2011},
  url          = {http://arxiv.org/abs/1110.0999},
  eprinttype    = {arXiv},
  eprint       = {1110.0999},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-0999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GavanelliRP10,
  author       = {Marco Gavanelli and
                  Fabrizio Riguzzi and
                  Alberto Pettorossi},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-355},
  doi          = {10.3233/FI-2010-355},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/GavanelliRP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PettorossiSP10,
  author       = {Alberto Pettorossi and
                  Valerio Senni and
                  Maurizio Proietti},
  title        = {Transformations of logic programs on infinite lists},
  journal      = {Theory Pract. Log. Program.},
  volume       = {10},
  number       = {4-6},
  pages        = {383--399},
  year         = {2010},
  url          = {https://doi.org/10.1017/S1471068410000177},
  doi          = {10.1017/S1471068410000177},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/PettorossiSP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/FioravantiPPS10,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {Generalization Strategies for the Verification of Infinite State Systems},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/FioravantiPPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/PettorossiPS10,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Wolfgang Faber and
                  Nicola Leone},
  title        = {A Transformation Strategy for Verifying Logic Programs on Infinite
                  Lists},
  booktitle    = {Proceedings of the 25th Italian Conference on Computational Logic,
                  Rende, Italy, July 7-9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {598},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-598/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/PettorossiPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FioravantiPPS10,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Program Specialization for Verifying Infinite State Systems: An Experimental
                  Evaluation},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {164--183},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_11},
  doi          = {10.1007/978-3-642-20551-4\_11},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FioravantiPPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/agp/PettorossiPS10,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Agostino Dovier and
                  Enrico Pontelli},
  title        = {The Transformational Approach to Program Development},
  booktitle    = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
                  Association for Logic Programming, {GULP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6125},
  pages        = {112--135},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14309-0\_6},
  doi          = {10.1007/978-3-642-14309-0\_6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/PettorossiPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4157,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  title        = {Transformations of Logic Programs on Infinite Lists},
  journal      = {CoRR},
  volume       = {abs/1007.4157},
  year         = {2010},
  url          = {http://arxiv.org/abs/1007.4157},
  eprinttype    = {arXiv},
  eprint       = {1007.4157},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1007-4157.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SenniPP09,
  author       = {Valerio Senni and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {A Folding Rule for Eliminating Existential Variables from Constraint
                  Logic Programs},
  journal      = {Fundam. Informaticae},
  volume       = {96},
  number       = {3},
  pages        = {373--393},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-183},
  doi          = {10.3233/FI-2009-183},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SenniPP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PettorossiPS09,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Danny De Schreye},
  title        = {Deciding Full Branching Time Logic by Program Transformation},
  booktitle    = {Logic-Based Program Synthesis and Transformation, 19th International
                  Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6037},
  pages        = {5--21},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-12592-8\_2},
  doi          = {10.1007/978-3-642-12592-8\_2},
  timestamp    = {Sun, 02 Oct 2022 16:11:18 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/PettorossiPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/PettorossiP08,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Totally correct logic program transformations via well-founded annotations},
  journal      = {High. Order Symb. Comput.},
  volume       = {21},
  number       = {1-2},
  pages        = {193--234},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10990-008-9024-6},
  doi          = {10.1007/S10990-008-9024-6},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/PettorossiP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/PettorossiP08a,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Totally correct logic program transformations via well-founded annotations},
  journal      = {High. Order Symb. Comput.},
  volume       = {21},
  number       = {1-2},
  pages        = {235},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10990-008-9031-7},
  doi          = {10.1007/S10990-008-9031-7},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/PettorossiP08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PettorossiPS08,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Matteo Baldoni and
                  Cristina Baroglio},
  title        = {Program Transformation for Development, Verification, and Synthesis
                  of Software},
  booktitle    = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
                  Alberto Martelli, Turin, Italy, June 3, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {487},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-487/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/PettorossiPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SenniPP08,
  author       = {Valerio Senni and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Maria Garcia de la Banda and
                  Enrico Pontelli},
  title        = {A Folding Algorithm for Eliminating Existential Variables from Constraint
                  Logic Programs},
  booktitle    = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
                  Italy, December 9-13 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5366},
  pages        = {284--300},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89982-2\_29},
  doi          = {10.1007/978-3-540-89982-2\_29},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/SenniPP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PettorossiPS07,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Ver{\'{o}}nica Dahl and
                  Ilkka Niemel{\"{a}}},
  title        = {Automatic Correctness Proofs for Logic Program Transformations},
  booktitle    = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
                  Portugal, September 8-13, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4670},
  pages        = {364--379},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74610-2\_25},
  doi          = {10.1007/978-3-540-74610-2\_25},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/PettorossiPS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PettorossiP06,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Preface: Program Transformation: Theoretical Foundations and Basic
                  Techniques. Part 2},
  journal      = {Fundam. Informaticae},
  volume       = {69},
  number       = {1-2},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PettorossiP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PettorossiPS06,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Sandro Etalle and
                  Miroslaw Truszczynski},
  title        = {Proving Properties of Constraint Logic Programs by Eliminating Existential
                  Variables},
  booktitle    = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
                  WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4079},
  pages        = {179--195},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11799573\_15},
  doi          = {10.1007/11799573\_15},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/PettorossiPS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PettorossiP05,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Program Transformation: Theoretical Foundations and Basic Techniques.
                  Part 1},
  journal      = {Fundam. Informaticae},
  volume       = {66},
  number       = {4},
  year         = {2005},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PettorossiP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyHMP05,
  author       = {Olivier Danvy and
                  Fritz Henglein and
                  Harry G. Mairson and
                  Alberto Pettorossi},
  title        = {Editorial},
  journal      = {High. Order Symb. Comput.},
  volume       = {18},
  number       = {1-2},
  pages        = {5--6},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10990-005-7001-x},
  doi          = {10.1007/S10990-005-7001-X},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/DanvyHMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/PettorossiPR05,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Sophie Renault},
  title        = {Derivation of Efficient Logic Programs by Specialization and Reduction
                  of Nondeterminism},
  journal      = {High. Order Symb. Comput.},
  volume       = {18},
  number       = {1-2},
  pages        = {121--210},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10990-005-7008-3},
  doi          = {10.1007/S10990-005-7008-3},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/PettorossiPR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PettorossiPS05,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Patricia M. Hill},
  title        = {Transformational Verification of Parameterized Protocols Using Array
                  Formulas},
  booktitle    = {Logic Based Program Synthesis and Transformation, 15th International
                  Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3901},
  pages        = {23--43},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11680093\_3},
  doi          = {10.1007/11680093\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/PettorossiPS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PettorossiPS05,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {James R. Cordy and
                  Ralf L{\"{a}}mmel and
                  Andreas Winter},
  title        = {Proofs of Program Properties via Unfold/Fold Transformations of Constraint
                  Logic Programs},
  booktitle    = {Transformation Techniques in Software Engineering, 17.-22. April 2005},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {05161},
  publisher    = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2005},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/422},
  timestamp    = {Thu, 10 Jun 2021 13:02:04 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/PettorossiPS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PettorossiP04,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Transformations of logic programs with goals as arguments},
  journal      = {Theory Pract. Log. Program.},
  volume       = {4},
  number       = {4},
  pages        = {495--537},
  year         = {2004},
  url          = {https://doi.org/10.1017/S147106840400198X},
  doi          = {10.1017/S147106840400198X},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/PettorossiP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msras/FioravantiPP04,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Barbara Dunin{-}Keplicz and
                  Andrzej Jankowski and
                  Andrzej Skowron and
                  Marcin S. Szczuka},
  title        = {Automatic Proofs of Protocols via Program Transformation},
  booktitle    = {Monitoring, Security, and Rescue Techniques in Multiagent Systems,
                  {MSRAS} 2004, Plock, Poland, June 7-9, 2004},
  series       = {Advances in Soft Computing},
  volume       = {28},
  pages        = {99--116},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/3-540-32370-8\_7},
  doi          = {10.1007/3-540-32370-8\_7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/msras/FioravantiPP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PettorossiP04,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Nevin Heintze and
                  Peter Sestoft},
  title        = {A theory of totally correct logic program transformations},
  booktitle    = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2004, Verona, Italy, August
                  24-25, 2004},
  pages        = {159--168},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1014007.1014023},
  doi          = {10.1145/1014007.1014023},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/PettorossiP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/FioravantiPP04,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Maurice Bruynooghe and
                  Kung{-}Kiu Lau},
  title        = {Transformation Rules for Locally Stratified Constraint Logic Programs},
  booktitle    = {Program Development in Computational Logic: {A} Decade of Research
                  Advances in Logic-Based Program Development},
  series       = {Lecture Notes in Computer Science},
  volume       = {3049},
  pages        = {291--339},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25951-0\_10},
  doi          = {10.1007/978-3-540-25951-0\_10},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FioravantiPP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0402048,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Transformation Rules for Locally Stratified Constraint Logic Programs},
  journal      = {CoRR},
  volume       = {cs.PL/0402048},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0402048},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0402048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyHMP03,
  author       = {Olivier Danvy and
                  Fritz Henglein and
                  Harry G. Mairson and
                  Alberto Pettorossi},
  title        = {Editorial: Special Issue Dedicated to Bob Paige},
  journal      = {High. Order Symb. Comput.},
  volume       = {16},
  number       = {1-2},
  pages        = {5--6},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023059701827},
  doi          = {10.1023/A:1023059701827},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/DanvyHMP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0307022,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Transformations of Logic Programs with Goals as Arguments},
  journal      = {CoRR},
  volume       = {cs.PL/0307022},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0307022},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0307022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0311043,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Combining Logic Programs and Monadic Second Order Logics by Program
                  Transformation},
  journal      = {CoRR},
  volume       = {cs.PL/0311043},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0311043},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0311043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0311044,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Sophie Renault},
  title        = {Derivation of Efficient Logic Programs by Specialization and Reduction
                  of Nondeterminism},
  journal      = {CoRR},
  volume       = {cs.PL/0311044},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0311044},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0311044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PettorossiP02,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {The List Introduction Strategy for the Derivation of Logic Programs},
  journal      = {Formal Aspects Comput.},
  volume       = {13},
  number       = {3-5},
  pages        = {233--251},
  year         = {2002},
  url          = {https://doi.org/10.1007/s001650200011},
  doi          = {10.1007/S001650200011},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/PettorossiP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FioravantiPP02,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Juan Jos{\'{e}} Moreno{-}Navarro and
                  Julio Mari{\~{n}}o{-}Carballo},
  title        = {Specialization with Clause Splitting for Deriving Deterministic Constraint
                  Logic Programs},
  booktitle    = {{AGP} 2002: Proceedings of the Joint Conference on Declarative Programming,
                  APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002},
  pages        = {241--257},
  publisher    = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica
                  de Madrid},
  year         = {2002},
  url          = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02\_241.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/FioravantiPP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PettorossiP02,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Antonis C. Kakas and
                  Fariba Sadri},
  title        = {Program Derivation = Rules + Strategies},
  booktitle    = {Computational Logic: Logic Programming and Beyond, Essays in Honour
                  of Robert A. Kowalski, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2407},
  pages        = {273--309},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45628-7\_12},
  doi          = {10.1007/3-540-45628-7\_12},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/PettorossiP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FioravantiPP02,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Michael Leuschel},
  title        = {Combining Logic Programs and Monadic Second Order Logics by Program
                  Transformation},
  booktitle    = {Logic Based Program Synthesis and Tranformation, 12th International
                  Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2664},
  pages        = {160--181},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45013-0\_14},
  doi          = {10.1007/3-540-45013-0\_14},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FioravantiPP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FioravantiPP01,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Alberto Pettorossi},
  title        = {Verification of Sets of Infinite State Processes Using Program Transformation},
  booktitle    = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  pages        = {111--128},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4\_7},
  doi          = {10.1007/3-540-45607-4\_7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FioravantiPP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2001,
  editor       = {Alberto Pettorossi},
  title        = {Logic Based Program Synthesis and Transformation, 11th International
                  Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2372},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45607-4},
  doi          = {10.1007/3-540-45607-4},
  isbn         = {3-540-43915-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/PettorossiP00,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {John W. Lloyd and
                  Ver{\'{o}}nica Dahl and
                  Ulrich Furbach and
                  Manfred Kerber and
                  Kung{-}Kiu Lau and
                  Catuscia Palamidessi and
                  Lu{\'{\i}}s Moniz Pereira and
                  Yehoshua Sagiv and
                  Peter J. Stuckey},
  title        = {Perfect Model Checking via Unfold/Fold Transformations},
  booktitle    = {Computational Logic - {CL} 2000, First International Conference, London,
                  UK, 24-28 July, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1861},
  pages        = {613--628},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44957-4\_41},
  doi          = {10.1007/3-540-44957-4\_41},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/cl/PettorossiP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FioravantiPP00,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Kung{-}Kiu Lau},
  title        = {Automated strategies for specializing constraint logic programs},
  booktitle    = {Extended Abstracts of the 10th International Workshop on Logic-based
                  Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
                  24-28, 2000},
  series       = {Technical Report},
  volume       = {{UMCS-00-6-1}},
  publisher    = {Department of Computer Science, University of Manchester},
  year         = {2000},
  url          = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-fioravanti.ps.Z},
  timestamp    = {Tue, 11 Feb 2014 17:45:37 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FioravantiPP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FioravantiPP00a,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Kung{-}Kiu Lau},
  title        = {Automated Strategies for Specializing Constraint Logic Programs},
  booktitle    = {Logic Based Program Synthesis and Transformation, 10th International
                  Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2042},
  pages        = {125--146},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45142-0\_8},
  doi          = {10.1007/3-540-45142-0\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FioravantiPP00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PettorossiP99,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs},
  journal      = {J. Log. Program.},
  volume       = {41},
  number       = {2-3},
  pages        = {197--230},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0743-1066(99)00029-1},
  doi          = {10.1016/S0743-1066(99)00029-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/PettorossiP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ProiettiP99,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Danny De Schreye},
  title        = {Transforming Inductive Definitions},
  booktitle    = {Logic Programming: The 1999 International Conference, Las Cruces,
                  New Mexico, USA, November 29 - December 4, 1999},
  pages        = {486--499},
  publisher    = {{MIT} Press},
  year         = {1999},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/ProiettiP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PettorossiP99,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Annalisa Bossi},
  title        = {Transformation Rules for Logic Programs with Goals as Arguments},
  booktitle    = {Logic Programming Synthesis and Transformation, 9th International
                  Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1817},
  pages        = {176--195},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10720327\_11},
  doi          = {10.1007/10720327\_11},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/PettorossiP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/FioravantiPP99,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Michael Leuschel},
  title        = {Rules and Strategies for Contextual Specialization of Constraint Logic
                  Programs},
  booktitle    = {Workshop on Optimization and Implementation of Declarative Programs,
                  {WOID} 1999, in connection with the International Conference on Logic
                  Programming, {ICLP} 1999, Las Cruces, New Mexico, USA, December 2-3,
                  1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {30},
  number       = {2},
  pages        = {129--144},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80634-6},
  doi          = {10.1016/S1571-0661(05)80634-6},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FioravantiPP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/PettorossiP98,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Program Specialization via Algorithmic Unfold/Fold Transformations},
  journal      = {{ACM} Comput. Surv.},
  volume       = {30},
  number       = {3es},
  pages        = {6},
  year         = {1998},
  url          = {https://doi.org/10.1145/289121.289127},
  doi          = {10.1145/289121.289127},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/PettorossiP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/PettorossiP97,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Future Directions in Program Transformation},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {32},
  number       = {1},
  pages        = {99--102},
  year         = {1997},
  url          = {https://doi.org/10.1145/251595.251610},
  doi          = {10.1145/251595.251610},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/PettorossiP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/PettorossiP97,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Richard S. Bird and
                  Lambert G. L. T. Meertens},
  title        = {Program derivation via list introduction},
  booktitle    = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
                  Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
                  Alsace, France},
  series       = {{IFIP} Conference Proceedings},
  volume       = {95},
  pages        = {296--323},
  publisher    = {Chapman {\&} Hall},
  year         = {1997},
  timestamp    = {Thu, 03 Jan 2002 11:52:45 +0100},
  biburl       = {https://dblp.org/rec/conf/alc/PettorossiP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PettorossiPR97,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Sophie Renault},
  editor       = {Peter Lee and
                  Fritz Henglein and
                  Neil D. Jones},
  title        = {Reducing Nondeterminism while Specializing Logic Programs},
  booktitle    = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, Papers Presented at the Symposium,
                  Paris, France, 15-17 January 1997},
  pages        = {414--427},
  publisher    = {{ACM} Press},
  year         = {1997},
  url          = {https://doi.org/10.1145/263699.263759},
  doi          = {10.1145/263699.263759},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/PettorossiPR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/PettorossiP96,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Rules and Strategies for Transforming Functional and Logic Programs},
  journal      = {{ACM} Comput. Surv.},
  volume       = {28},
  number       = {2},
  pages        = {360--414},
  year         = {1996},
  url          = {https://doi.org/10.1145/234528.234529},
  doi          = {10.1145/234528.234529},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/PettorossiP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/PettorossiP96a,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Future Directions in Program Transformation},
  journal      = {{ACM} Comput. Surv.},
  volume       = {28},
  number       = {4es},
  pages        = {171},
  year         = {1996},
  url          = {https://doi.org/10.1145/242224.242445},
  doi          = {10.1145/242224.242445},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/PettorossiP96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/PettorossiP96,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Developing correct and efficient logic programs by transformation},
  journal      = {Knowl. Eng. Rev.},
  volume       = {11},
  number       = {4},
  pages        = {347--360},
  year         = {1996},
  url          = {https://doi.org/10.1017/S0269888900008031},
  doi          = {10.1017/S0269888900008031},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ker/PettorossiP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PettorossiP96,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {A Comparative Revisitation of Some Program Transformation Techniques},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {355--385},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_18},
  doi          = {10.1007/3-540-61580-6\_18},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/PettorossiP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PettorossiP96a,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {A Theory of Logic Program Specialization and Generalization for Dealing
                  with Input Data Properties},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {386--408},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_19},
  doi          = {10.1007/3-540-61580-6\_19},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/PettorossiP96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PettorossiPR96,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Sophie Renault},
  editor       = {Michael J. Maher},
  title        = {How to Extend Partial Deduction to Derive the {KMP} String-Matching
                  Algorithm from a Naive Specification (Poster Abstract)},
  booktitle    = {Logic Programming, Proceedings of the 1996 Joint International Conference
                  and Symposium on Logic Programming, Bonn, Germany, September 2-6,
                  1996},
  pages        = {539},
  publisher    = {{MIT} Press},
  year         = {1996},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278893},
  timestamp    = {Mon, 09 Aug 2021 17:01:45 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/PettorossiPR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PettorossiPR96,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti and
                  Sophie Renault},
  editor       = {John P. Gallagher},
  title        = {Enhancing Partial Deduction via Unfold/Fold Rules},
  booktitle    = {Logic Programming Synthesis and Transformation, 6th International
                  Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1207},
  pages        = {146--168},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-62718-9\_9},
  doi          = {10.1007/3-540-62718-9\_9},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/PettorossiPR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ProiettiP95,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  title        = {Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary
                  Variables in Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {142},
  number       = {1},
  pages        = {89--124},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00227-A},
  doi          = {10.1016/0304-3975(94)00227-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ProiettiP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LauOPP95,
  author       = {Kung{-}Kiu Lau and
                  Mario Ornaghi and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {John W. Lloyd},
  title        = {Correctness of Logic Program Transformations Based on Existential
                  Termination},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {480--494},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300031},
  timestamp    = {Wed, 11 Aug 2021 17:02:32 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/LauOPP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PettorossiP94,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Transformation of Logic Programs: Foundations and Techniques},
  journal      = {J. Log. Program.},
  volume       = {19/20},
  pages        = {261--320},
  year         = {1994},
  url          = {https://doi.org/10.1016/0743-1066(94)90028-0},
  doi          = {10.1016/0743-1066(94)90028-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/PettorossiP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/ProiettiP94,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Roberto Barbuti and
                  Isidro Ramos},
  title        = {Total correctness of a goal replacement rule based on the unfold/fold
                  proof method},
  booktitle    = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
                  Spain, September 19-22, 1994, Volume 1},
  pages        = {203--217},
  year         = {1994},
  timestamp    = {Wed, 01 Dec 2004 15:33:38 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/ProiettiP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ProiettiP94,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Pascal Van Hentenryck},
  title        = {Completeness of Some Transformation Strategies for Avoiding Unnecessary
                  Logical Variables},
  booktitle    = {Logic Programming, Proceedings of the Eleventh International Conference
                  on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  pages        = {714--729},
  publisher    = {{MIT} Press},
  year         = {1994},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/ProiettiP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ProiettiP93,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  title        = {An Abstract Strategy for Transforming Logic Programs},
  journal      = {Fundam. Informaticae},
  volume       = {18},
  pages        = {267--286},
  year         = {1993},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ProiettiP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ProiettiP93,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  title        = {The Loop Absorption and the Generalization Strategies for the Development
                  of Logic Programs and Partial Deduction},
  journal      = {J. Log. Program.},
  volume       = {16},
  number       = {1},
  pages        = {123--161},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90025-C},
  doi          = {10.1016/0743-1066(93)90025-C},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/ProiettiP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/ProiettiP93,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Domenico Sacc{\`{a}}},
  title        = {Completeness of some Transformation Strategies for Avoiding Unncecessary
                  Logical Variables},
  booktitle    = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
                  June 15-18, 1993},
  pages        = {601--616},
  year         = {1993},
  timestamp    = {Thu, 02 Dec 2004 11:00:44 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/ProiettiP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-1/PettorossiP93,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Bernhard M{\"{o}}ller and
                  Helmuth Partsch and
                  Stephen A. Schuman},
  title        = {Rules and Strategies for Program Transformation},
  booktitle    = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art
                  Report},
  series       = {Lecture Notes in Computer Science},
  volume       = {755},
  pages        = {263--304},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57499-9\_23},
  doi          = {10.1007/3-540-57499-9\_23},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-1/PettorossiP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ProiettiP93,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Yves Deville},
  title        = {Synthesis of Programs from Unfold/Fold Proofs},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  93, International Workshop on Logic Program Synthesis and Transformation,
                  Louvain-la-Neuve, Belgium, 7-9 July 1993},
  series       = {Workshops in Computing},
  pages        = {141--158},
  publisher    = {Springer},
  year         = {1993},
  timestamp    = {Mon, 10 Feb 2014 17:44:03 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/ProiettiP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ProiettiP92,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Kung{-}Kiu Lau and
                  Tim Clement},
  title        = {Best-first Strategies for Incremental Transformations of Logic Programs},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  92, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 2-3 July 1992},
  series       = {Workshops in Computing},
  pages        = {82--98},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3560-9\_7},
  doi          = {10.1007/978-1-4471-3560-9\_7},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/ProiettiP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/meta/1992,
  editor       = {Alberto Pettorossi},
  title        = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
                  Sweden, June 10-12, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {649},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56282-6},
  doi          = {10.1007/3-540-56282-6},
  isbn         = {3-540-56282-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/meta/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ProiettiP91,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {An Automatic Transfomation Strategy for Avoiding Unnecessary Variables
                  in Logic Programs (Extended Abstract)},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {126--128},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_10},
  doi          = {10.1007/978-1-4471-3494-7\_10},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/ProiettiP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ProiettiP91,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Semantics Preserving Transformation Rules for Prolog},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {274--284},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115895},
  doi          = {10.1145/115865.115895},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ProiettiP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/ProiettiP91,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Jan Maluszynski and
                  Martin Wirsing},
  title        = {Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary
                  Variables in Logic Programs},
  booktitle    = {Programming Language Implementation and Logic Programming, 3rd International
                  Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {528},
  pages        = {347--358},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54444-5\_111},
  doi          = {10.1007/3-540-54444-5\_111},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/ProiettiP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ProiettiP90,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Neil D. Jones},
  title        = {Synthesis of Eureka Predicates for Developing Logic Programs},
  booktitle    = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
                  May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {432},
  pages        = {306--325},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52592-0\_71},
  doi          = {10.1007/3-540-52592-0\_71},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/ProiettiP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/KasangianLP90,
  author       = {Stefano Kasangian and
                  Anna Labella and
                  Alberto Pettorossi},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Observers, Experiments and Agents: a Comprehensive Approach to Parallelism},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {375--406},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_16},
  doi          = {10.1007/3-540-53479-2\_16},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/KasangianLP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/PettorossiS89,
  author       = {Alberto Pettorossi and
                  Andrzej Skowron},
  title        = {The Power of the Lambda Abstraction Strategy for Program Derivation},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {25},
  number       = {5/6},
  pages        = {263--281},
  year         = {1989},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/PettorossiS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PettorossiP89,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Giorgio Levi and
                  Maurizio Martelli},
  title        = {Decidability Results and Characterization of Strategies for the Development
                  of Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the Sixth International Conference,
                  Lisbon, Portugal, June 19-23, 1989},
  pages        = {539--553},
  publisher    = {{MIT} Press},
  year         = {1989},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/PettorossiP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pettorossi87,
  author       = {Alberto Pettorossi},
  title        = {Derivation of Efficient Programs for Computing Sequences of Actions},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {151--167},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90030-2},
  doi          = {10.1016/0304-3975(87)90030-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Pettorossi87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/KasangianLP87,
  author       = {Stefano Kasangian and
                  Anna Labella and
                  Alberto Pettorossi},
  editor       = {David H. Pitt and
                  Axel Poign{\'{e}} and
                  David E. Rydeheard},
  title        = {Enriched Categories for Local and Interaction Calculi},
  booktitle    = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
                  1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {283},
  pages        = {57--70},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-18508-9\_20},
  doi          = {10.1007/3-540-18508-9\_20},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ctcs/KasangianLP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Pettorossi87,
  author       = {Alberto Pettorossi},
  editor       = {Kesav V. Nori},
  title        = {Program Development Using Lambda Abstraction},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {287},
  pages        = {420--434},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-18625-5\_65},
  doi          = {10.1007/3-540-18625-5\_65},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Pettorossi87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/PettorossiRZ87,
  author       = {Alberto Pettorossi and
                  Zbigniew W. Ras and
                  Maria Zemankova},
  editor       = {Zbigniew W. Ras and
                  Maria Zemankova},
  title        = {On Learning with Imperfect Teachers},
  booktitle    = {Methodologies for Intelligent Systems, Proceedings of the Second International
                  Symposium, Charlotte, North Carolina, USA, October 14-17, 1987},
  pages        = {256--263},
  publisher    = {North-Holland/Elsevier},
  year         = {1987},
  timestamp    = {Mon, 22 May 2017 09:57:27 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/PettorossiRZ87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/PettorossiS87,
  author       = {Alberto Pettorossi and
                  Andrzej Skowron},
  editor       = {Hartmut Ehrig and
                  Robert A. Kowalski and
                  Giorgio Levi and
                  Ugo Montanari},
  title        = {Higher Order Generalization in Program Derivation},
  booktitle    = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
                  and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
                  Volume 2: Advanced Seminar on Foundations of Innovative Software Development
                  {II} and Colloquium on Functional and Logic Programming and Specifications
                  {(CFLP)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {250},
  pages        = {182--196},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0014981},
  doi          = {10.1007/BFB0014981},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/PettorossiS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SkowronP86,
  author       = {Andrzej Skowron and
                  Alberto Pettorossi},
  editor       = {Tom Kehler},
  title        = {Factual Knowledge For Developing Concurrent Programs},
  booktitle    = {Proceedings of the 5th National Conference on Artificial Intelligence.
                  Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages        = {26--31},
  publisher    = {Morgan Kaufmann},
  year         = {1986},
  url          = {http://www.aaai.org/Library/AAAI/1986/aaai86-005.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SkowronP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/LabellaP86,
  author       = {Anna Labella and
                  Alberto Pettorossi},
  editor       = {Marisa Venturini Zilli},
  title        = {Universal Models in Categories for Process Synchronization},
  booktitle    = {Mathematical Models for the Semantics of Parallelism, Advanced School,
                  Rome, Italy, September 24 - October 1, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {280},
  pages        = {183--198},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-18419-8\_15},
  doi          = {10.1007/3-540-18419-8\_15},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/LabellaP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Pettorossi86,
  author       = {Alberto Pettorossi},
  editor       = {Paul Franchi{-}Zannettacci},
  title        = {Transformation Strategies for Deriving On Line Programs},
  booktitle    = {{CAAP} '86, 11th Colloquium on Trees in Algebra and Programming, Nice,
                  France, March 24-26, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {214},
  pages        = {127--141},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/BFb0022664},
  doi          = {10.1007/BFB0022664},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Pettorossi86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/PettorossiS86,
  author       = {Alberto Pettorossi and
                  Andrzej Skowron},
  title        = {Using Facts for Improving the Parallel Execution of Functional Programs},
  booktitle    = {International Conference on Parallel Processing, ICPP'86, University
                  Park, PA, USA, August 1986},
  pages        = {616--623},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1986},
  timestamp    = {Mon, 28 Jul 2014 17:06:02 +0200},
  biburl       = {https://dblp.org/rec/conf/icpp/PettorossiS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bit/Pettorossi85,
  author       = {Alberto Pettorossi},
  title        = {Towers of Hanoi Problems: Deriving Iterative Solutions by Program
                  Transformations},
  journal      = {{BIT}},
  volume       = {25},
  number       = {2},
  pages        = {327--334},
  year         = {1985},
  url          = {https://doi.org/10.1007/BF01934378},
  doi          = {10.1007/BF01934378},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bit/Pettorossi85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Pettorossi85,
  author       = {Alberto Pettorossi},
  title        = {A Note on Cohen's "Eliminating Redundant Recursive Calls"},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {680--685},
  year         = {1985},
  url          = {https://doi.org/10.1145/4472.215006},
  doi          = {10.1145/4472.215006},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Pettorossi85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/LabellaP85,
  author       = {Anna Labella and
                  Alberto Pettorossi},
  editor       = {David H. Pitt and
                  Samson Abramsky and
                  Axel Poign{\'{e}} and
                  David E. Rydeheard},
  title        = {Categorical Models of Process Cooperation},
  booktitle    = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
                  UK, September 16-20, 1985 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {240},
  pages        = {282--298},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17162-2\_129},
  doi          = {10.1007/3-540-17162-2\_129},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ctcs/LabellaP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Pettorossi84,
  author       = {Alberto Pettorossi},
  title        = {Methodologies for transformations and memoing in applicative languages},
  school       = {University of Edinburgh, {UK}},
  year         = {1984},
  url          = {https://hdl.handle.net/1842/15643},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Pettorossi84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/PettorossiS84,
  author       = {Alberto Pettorossi and
                  Andrzej Skowron},
  title        = {Higher-order communications for concurrent programming},
  journal      = {Parallel Comput.},
  volume       = {1},
  number       = {3-4},
  pages        = {331--336},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0167-8191(84)90309-0},
  doi          = {10.1016/S0167-8191(84)90309-0},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/PettorossiS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Pettorossi84,
  author       = {Alberto Pettorossi},
  editor       = {Robert S. Boyer and
                  Edward S. Schneider and
                  Guy L. Steele Jr.},
  title        = {A Powerful Strategy for Deriving Efficient Programs by Transformation},
  booktitle    = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
                  Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
  pages        = {273--281},
  publisher    = {{ACM}},
  year         = {1984},
  url          = {https://doi.org/10.1145/800055.802044},
  doi          = {10.1145/800055.802044},
  timestamp    = {Fri, 06 Aug 2021 15:08:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lfp/Pettorossi84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sct/PettorossiS84,
  author       = {Alberto Pettorossi and
                  Andrzej Skowron},
  editor       = {Andrzej Skowron},
  title        = {A methodology for improving parallel programs by adding communications},
  booktitle    = {Computation Theory - Fifth Symposium, Zabor{\'{o}}w, Poland,
                  December 3-8, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {208},
  pages        = {228--250},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-16066-3\_20},
  doi          = {10.1007/3-540-16066-3\_20},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/sct/PettorossiS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PettorossiB82,
  author       = {Alberto Pettorossi and
                  Rod M. Burstall},
  title        = {Deriving very Efficient Algorithms for Evaluating Linear Recurrence
                  Relations Using the Program Transformation Technique},
  journal      = {Acta Informatica},
  volume       = {18},
  pages        = {181--206},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00264438},
  doi          = {10.1007/BF00264438},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PettorossiB82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/PettorossiS82,
  author       = {Alberto Pettorossi and
                  Andrzej Skowron},
  editor       = {Mariangiola Dezani{-}Ciancaglini and
                  Ugo Montanari},
  title        = {Communicating agents for applicative concurrent programming},
  booktitle    = {International Symposium on Programming, 5th Colloquium, Torino, Italy,
                  April 6-8, 1982, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {137},
  pages        = {305--322},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/3-540-11494-7\_20},
  doi          = {10.1007/3-540-11494-7\_20},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/PettorossiS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Pettorossi81,
  author       = {Alberto Pettorossi},
  title        = {A property which guarantees termination in weak combinatory logic
                  and subtree replacement systems},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {22},
  number       = {4},
  pages        = {344--356},
  year         = {1981},
  url          = {https://doi.org/10.1305/ndjfl/1093883514},
  doi          = {10.1305/NDJFL/1093883514},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Pettorossi81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/Pettorossi81,
  author       = {Alberto Pettorossi},
  editor       = {Wolfgang H{\"{a}}ndler},
  title        = {A transformational approach for developing parallel programs},
  booktitle    = {{CONPAR} 81: Conference on Analysing Problem Classes and Programming
                  for Parallel Computing, N{\"{u}}rnberg, Germany, June 10-12,
                  1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {111},
  pages        = {245--258},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/BFb0105122},
  doi          = {10.1007/BFB0105122},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/conpar/Pettorossi81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pettorossi81,
  author       = {Alberto Pettorossi},
  editor       = {Shimon Even and
                  Oded Kariv},
  title        = {Comparing and Putting Together Recursive Path Ordering, Simplification
                  Orderings and Non-Ascending Property for Termination Proofs of Term
                  Rewriting Systems},
  booktitle    = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
                  Israel, July 13-17, 1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {115},
  pages        = {432--447},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-10843-2\_35},
  doi          = {10.1007/3-540-10843-2\_35},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Pettorossi81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfpc/Pettorossi81,
  author       = {Alberto Pettorossi},
  editor       = {Josep D{\'{\i}}az and
                  Isidro Ramos},
  title        = {An Approach to Communications and Parallelism in Applicative Languages},
  booktitle    = {Formalization of Programming Concepts, International Colloquium, Peniscola,
                  Spain, April 19-25, 1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {107},
  pages        = {432--446},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-10699-5\_117},
  doi          = {10.1007/3-540-10699-5\_117},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/icfpc/Pettorossi81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Pettorossi80,
  author       = {Alberto Pettorossi},
  title        = {Derivation of an O(k{\({^2}\)} log n) Algorithm for Computing Order-k
                  Fibonacci Numbers From the O(k{\({^3}\)} log n) Matrix Multiplication
                  Method},
  journal      = {Inf. Process. Lett.},
  volume       = {11},
  number       = {4/5},
  pages        = {172--179},
  year         = {1980},
  url          = {https://doi.org/10.1016/0020-0190(80)90045-9},
  doi          = {10.1016/0020-0190(80)90045-9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/Pettorossi80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Pettorossi80,
  author       = {Alberto Pettorossi},
  title        = {Synthesis of subtree rewriting systems behaviour by solving equations},
  booktitle    = {Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation,
                  Lilli, France, 21, 22 et 23 f{\'{e}}vier 1980},
  pages        = {63--74},
  publisher    = {Universit{\'{e}} de Lille 1},
  year         = {1980},
  timestamp    = {Wed, 03 Sep 2008 14:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Pettorossi80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Pettorossi80,
  author       = {Alberto Pettorossi},
  editor       = {Andrzej Salwicki},
  title        = {Towards a theory of parallelism and communications for increasing
                  efficiency in applicative languages},
  booktitle    = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
                  August 23-29, 1980},
  series       = {Lecture Notes in Computer Science},
  volume       = {148},
  pages        = {224--249},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/3-540-11981-7\_16},
  doi          = {10.1007/3-540-11981-7\_16},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Pettorossi80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Pettorossi79,
  author       = {Alberto Pettorossi},
  editor       = {Lothar Budach},
  title        = {On the definition of hierarchies of infinite sequential computations},
  booktitle    = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the
                  Conference on Algebraic, Arthmetic, and Categorial Methods in Computation
                  Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979},
  pages        = {335--341},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 11:58:23 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Pettorossi79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pettorossi78,
  author       = {Alberto Pettorossi},
  editor       = {J{\'{o}}zef Winkowski},
  title        = {Improving Memory Utilization in Transforming Recursive Programs (Extended
                  Abstract)},
  booktitle    = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
                  Symposium, Zakopane, Poland, September 4-8, 1978},
  series       = {Lecture Notes in Computer Science},
  volume       = {64},
  pages        = {416--425},
  publisher    = {Springer},
  year         = {1978},
  url          = {https://doi.org/10.1007/3-540-08921-7\_89},
  doi          = {10.1007/3-540-08921-7\_89},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Pettorossi78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/BatiniP75,
  author       = {Carlo Batini and
                  Alberto Pettorossi},
  editor       = {Corrado B{\"{o}}hm},
  title        = {On subrecursiveness in weak combinatory logic},
  booktitle    = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
                  Held in Rome, Italy, March 25-27, 1975},
  series       = {Lecture Notes in Computer Science},
  volume       = {37},
  pages        = {297--311},
  publisher    = {Springer},
  year         = {1975},
  url          = {https://doi.org/10.1007/BFb0029533},
  doi          = {10.1007/BFB0029533},
  timestamp    = {Fri, 17 Jul 2020 16:12:45 +0200},
  biburl       = {https://dblp.org/rec/conf/lambda/BatiniP75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics