BibTeX records: Alberto Momigliano

download as .bib file

@article{DBLP:journals/tplp/CheneyM17,
  author    = {James Cheney and
               Alberto Momigliano},
  title     = {{\(\alpha\)}Check: {A} mechanized metatheory model checker},
  journal   = {{TPLP}},
  volume    = {17},
  number    = {3},
  pages     = {311--352},
  year      = {2017},
  url       = {https://doi.org/10.1017/S1471068417000035},
  doi       = {10.1017/S1471068417000035},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/CheneyM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/OrnaghiFM17,
  author    = {Mario Ornaghi and
               Camillo Fiorentini and
               Alberto Momigliano},
  title     = {{LOGI:} {A} Didactic Tool for a Beginners' Course in Logic (System
               Description)},
  booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
               Science and the 32nd Italian Conference on Computational Logic co-located
               with the 2017 {IEEE} International Workshop on Measurements and Networking
               {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017.},
  pages     = {341--345},
  year      = {2017},
  crossref  = {DBLP:conf/ictcs/2017},
  url       = {http://ceur-ws.org/Vol-1949/CILCpaper10.pdf},
  timestamp = {Thu, 09 Nov 2017 17:00:01 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ictcs/OrnaghiFM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FachiniM17,
  author    = {Guglielmo Fachini and
               Alberto Momigliano},
  title     = {Validating the Meta-Theory of Programming Languages (Short Paper)},
  booktitle = {Software Engineering and Formal Methods - 15th International Conference,
               {SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
  pages     = {367--374},
  year      = {2017},
  crossref  = {DBLP:conf/sefm/2017},
  url       = {https://doi.org/10.1007/978-3-319-66197-1_23},
  doi       = {10.1007/978-3-319-66197-1_23},
  timestamp = {Thu, 24 Aug 2017 12:24:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sefm/FachiniM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CheneyM17,
  author    = {James Cheney and
               Alberto Momigliano},
  title     = {{\(\alpha\)}Check: {A} mechanized metatheory model-checker},
  journal   = {CoRR},
  volume    = {abs/1704.00617},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.00617},
  archivePrefix = {arXiv},
  eprint    = {1704.00617},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CheneyM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tap/CheneyMP16,
  author    = {James Cheney and
               Alberto Momigliano and
               Matteo Pessina},
  title     = {Advances in Property-Based Testing for {\textbackslash}alpha Prolog},
  booktitle = {Tests and Proofs - 10th International Conference, {TAP} 2016, Held
               as Part of {STAF} 2016, Vienna, Austria, July 5-7, 2016, Proceedings},
  pages     = {37--56},
  year      = {2016},
  crossref  = {DBLP:conf/tap/2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4_3},
  doi       = {10.1007/978-3-319-41135-4_3},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tap/CheneyMP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2016,
  editor    = {Camillo Fiorentini and
               Alberto Momigliano},
  title     = {Proceedings of the 31st Italian Conference on Computational Logic,
               Milano, Italy, June 20-22, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1645},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1645},
  urn       = {urn:nbn:de:0074-1645-1},
  timestamp = {Tue, 19 Jul 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cilc/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CheneyMP16,
  author    = {James Cheney and
               Alberto Momigliano and
               Matteo Pessina},
  title     = {Advances in Property-Based Testing for {\textdollar}{\(\alpha\)}{\textdollar}Prolog},
  journal   = {CoRR},
  volume    = {abs/1604.08345},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.08345},
  archivePrefix = {arXiv},
  eprint    = {1604.08345},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CheneyMP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/AvelloneFM15,
  author    = {Alessandro Avellone and
               Camillo Fiorentini and
               Alberto Momigliano},
  title     = {A Semantical Analysis of Focusing and Contraction in Intuitionistic
               Logic},
  journal   = {Fundam. Inform.},
  volume    = {140},
  number    = {3-4},
  pages     = {247--262},
  year      = {2015},
  url       = {https://doi.org/10.3233/FI-2015-1253},
  doi       = {10.3233/FI-2015-1253},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fuin/AvelloneFM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jar/FeltyMP15,
  author    = {Amy P. Felty and
               Alberto Momigliano and
               Brigitte Pientka},
  title     = {The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract
               Syntax Representations - Part 2 - {A} Survey},
  journal   = {J. Autom. Reasoning},
  volume    = {55},
  number    = {4},
  pages     = {307--372},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10817-015-9327-3},
  doi       = {10.1007/s10817-015-9327-3},
  timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jar/FeltyMP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/FeltyMP15a,
  author    = {Amy P. Felty and
               Alberto Momigliano and
               Brigitte Pientka},
  title     = {An Open Challenge Problem Repository for Systems Supporting Binders},
  booktitle = {Proceedings Tenth International Workshop on Logical Frameworks and
               Meta Languages: Theory and Practice, {LFMTP} 2015, Berlin, Germany,
               1 August 2015.},
  pages     = {18--32},
  year      = {2015},
  crossref  = {DBLP:journals/corr/CervesatoC15},
  url       = {https://doi.org/10.4204/EPTCS.185.2},
  doi       = {10.4204/EPTCS.185.2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/FeltyMP15a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/FeltyMP15,
  author    = {Amy P. Felty and
               Alberto Momigliano and
               Brigitte Pientka},
  title     = {The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract
               Syntax Representations: Part 1-A Common Infrastructure for Benchmarks},
  journal   = {CoRR},
  volume    = {abs/1503.06095},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.06095},
  archivePrefix = {arXiv},
  eprint    = {1503.06095},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/FeltyMP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AvelloneFM13,
  author    = {Alessandro Avellone and
               Camillo Fiorentini and
               Alberto Momigliano},
  title     = {Focusing on Contraction},
  booktitle = {Proceedings of the 28th Italian Conference on Computational Logic,
               Catania, Italy, September 25-27, 2013.},
  pages     = {65--81},
  year      = {2013},
  crossref  = {DBLP:conf/cilc/2013},
  url       = {http://ceur-ws.org/Vol-1068/paper-l05.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cilc/AvelloneFM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lfmtp/2013,
  editor    = {Alberto Momigliano and
               Brigitte Pientka and
               Randy Pollack},
  title     = {Proceedings of the Eighth {ACM} {SIGPLAN} International Workshop on
               Logical Frameworks {\&} Meta-languages: Theory {\&} Practice,
               {LFMTP} 2013, Boston, Massachusetts, USA, September 23, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2503887},
  doi       = {10.1145/2503887},
  isbn      = {978-1-4503-2382-6},
  timestamp = {Wed, 24 Jun 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lfmtp/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/japll/TiuM12,
  author    = {Alwen Tiu and
               Alberto Momigliano},
  title     = {Cut elimination for a logic with induction and co-induction},
  journal   = {J. Applied Logic},
  volume    = {10},
  number    = {4},
  pages     = {330--367},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jal.2012.07.007},
  doi       = {10.1016/j.jal.2012.07.007},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/japll/TiuM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jar/FeltyM12,
  author    = {Amy P. Felty and
               Alberto Momigliano},
  title     = {Hybrid - {A} Definitional Two-Level Approach to Reasoning with Higher-Order
               Abstract Syntax},
  journal   = {J. Autom. Reasoning},
  volume    = {48},
  number    = {1},
  pages     = {43--105},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10817-010-9194-x},
  doi       = {10.1007/s10817-010-9194-x},
  timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jar/FeltyM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/agp/MomiglianoO10,
  author    = {Alberto Momigliano and
               Mario Ornaghi},
  title     = {Proof-Theoretic and Higher-Order Extensions of Logic Programming},
  booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
               Association for Logic Programming, {GULP}},
  pages     = {254--270},
  year      = {2010},
  crossref  = {DBLP:conf/agp/2010},
  url       = {https://doi.org/10.1007/978-3-642-14309-0_12},
  doi       = {10.1007/978-3-642-14309-0_12},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/agp/MomiglianoO10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icmt/FiorentiniMOP10,
  author    = {Camillo Fiorentini and
               Alberto Momigliano and
               Mario Ornaghi and
               Iman Poernomo},
  title     = {A Constructive Approach to Testing Model Transformations},
  booktitle = {Theory and Practice of Model Transformations, Third International
               Conference, {ICMT} 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings},
  pages     = {77--92},
  year      = {2010},
  crossref  = {DBLP:conf/icmt/2010},
  url       = {https://doi.org/10.1007/978-3-642-13688-7_6},
  doi       = {10.1007/978-3-642-13688-7_6},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icmt/FiorentiniMOP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-6171,
  author    = {Alwen Tiu and
               Alberto Momigliano},
  title     = {Cut Elimination for a Logic with Induction and Co-induction},
  journal   = {CoRR},
  volume    = {abs/1009.6171},
  year      = {2010},
  url       = {http://arxiv.org/abs/1009.6171},
  archivePrefix = {arXiv},
  eprint    = {1009.6171},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1009-6171},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OrnaghiFMP09,
  author    = {Mario Ornaghi and
               Camillo Fiorentini and
               Alberto Momigliano and
               Francesco Pagano},
  title     = {Applying {ASP} to {UML} Model Validation},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  pages     = {457--463},
  year      = {2009},
  crossref  = {DBLP:conf/lpnmr/2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6_42},
  doi       = {10.1007/978-3-642-04238-6_42},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/OrnaghiFMP09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FeltyM09,
  author    = {Amy P. Felty and
               Alberto Momigliano},
  title     = {Reasoning with hypothetical judgments and open terms in hybrid},
  booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  pages     = {83--92},
  year      = {2009},
  crossref  = {DBLP:conf/ppdp/2009},
  url       = {http://doi.acm.org/10.1145/1599410.1599422},
  doi       = {10.1145/1599410.1599422},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/FeltyM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/MomiglianoMF08,
  author    = {Alberto Momigliano and
               Alan J. Martin and
               Amy P. Felty},
  title     = {Two-Level Hybrid: {A} System for Reasoning Using Higher-Order Abstract
               Syntax},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {196},
  pages     = {85--93},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2007.09.019},
  doi       = {10.1016/j.entcs.2007.09.019},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/MomiglianoMF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/types/FiorentiniMO08,
  author    = {Camillo Fiorentini and
               Alberto Momigliano and
               Mario Ornaghi},
  title     = {Towards a Type Discipline for Answer Set Programming},
  booktitle = {Types for Proofs and Programs, International Conference, {TYPES} 2008,
               Torino, Italy, March 26-29, 2008, Revised Selected Papers},
  pages     = {117--135},
  year      = {2008},
  crossref  = {DBLP:conf/types/2008},
  url       = {https://doi.org/10.1007/978-3-642-02444-3_8},
  doi       = {10.1007/978-3-642-02444-3_8},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/types/FiorentiniMO08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-4367,
  author    = {Amy P. Felty and
               Alberto Momigliano},
  title     = {Hybrid: {A} Definitional Two-Level Approach to Reasoning with Higher-Order
               Abstract Syntax},
  journal   = {CoRR},
  volume    = {abs/0811.4367},
  year      = {2008},
  url       = {http://arxiv.org/abs/0811.4367},
  archivePrefix = {arXiv},
  eprint    = {0811.4367},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-0811-4367},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-4727,
  author    = {Alwen Tiu and
               Alberto Momigliano},
  title     = {Induction and Co-induction in Sequent Calculus},
  journal   = {CoRR},
  volume    = {abs/0812.4727},
  year      = {2008},
  url       = {http://arxiv.org/abs/0812.4727},
  archivePrefix = {arXiv},
  eprint    = {0812.4727},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-0812-4727},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/MomiglianoP07,
  author    = {Alberto Momigliano and
               Brigitte Pientka},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {174},
  number    = {5},
  pages     = {1--2},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.01.015},
  doi       = {10.1016/j.entcs.2007.01.015},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/MomiglianoP07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/AspinallBM07,
  author    = {David Aspinall and
               Lennart Beringer and
               Alberto Momigliano},
  title     = {Optimisation Validation},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {176},
  number    = {3},
  pages     = {37--59},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2006.06.017},
  doi       = {10.1016/j.entcs.2006.06.017},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/AspinallBM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/AspinallBHLM07,
  author    = {David Aspinall and
               Lennart Beringer and
               Martin Hofmann and
               Hans{-}Wolfgang Loidl and
               Alberto Momigliano},
  title     = {A program logic for resources},
  journal   = {Theor. Comput. Sci.},
  volume    = {389},
  number    = {3},
  pages     = {411--445},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.tcs.2007.09.003},
  doi       = {10.1016/j.tcs.2007.09.003},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/AspinallBHLM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FerrariFMO07,
  author    = {Mauro Ferrari and
               Camillo Fiorentini and
               Alberto Momigliano and
               Mario Ornaghi},
  title     = {Snapshot Generation in a Constructive Object-Oriented Modeling Language},
  booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
               Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
               Revised Selected Papers},
  pages     = {169--184},
  year      = {2007},
  crossref  = {DBLP:conf/lopstr/2007},
  url       = {https://doi.org/10.1007/978-3-540-78769-3_12},
  doi       = {10.1007/978-3-540-78769-3_12},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/FerrariFMO07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CheneyM07,
  author    = {James Cheney and
               Alberto Momigliano},
  title     = {Mechanized metatheory model-checking},
  booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 14-16, 2007,
               Wroclaw, Poland},
  pages     = {75--86},
  year      = {2007},
  crossref  = {DBLP:conf/ppdp/2007},
  url       = {http://doi.acm.org/10.1145/1273920.1273931},
  doi       = {10.1145/1273920.1273931},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/CheneyM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/OrnaghiBFFM06,
  author    = {Mario Ornaghi and
               Marco Benini and
               Mauro Ferrari and
               Camillo Fiorentini and
               Alberto Momigliano},
  title     = {A Constructive Object Oriented Modeling Language for Information Systems},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {153},
  number    = {1},
  pages     = {55--75},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.08.006},
  doi       = {10.1016/j.entcs.2005.08.006},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/OrnaghiBFFM06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SannellaHAGSBLMMS05,
  author    = {Donald Sannella and
               Martin Hofmann and
               David Aspinall and
               Stephen Gilmore and
               Ian Stark and
               Lennart Beringer and
               Hans{-}Wolfgang Loidl and
               Kenneth MacKenzie and
               Alberto Momigliano and
               Olha Shkaravska},
  title     = {Mobile Resource Guarantees (project evaluation paper)},
  booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
               Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005.},
  pages     = {211--226},
  year      = {2005},
  crossref  = {DBLP:conf/sfp/2005},
  timestamp = {Wed, 09 Sep 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sfp/SannellaHAGSBLMMS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LauMO04,
  author    = {Kung{-}Kiu Lau and
               Alberto Momigliano and
               Mario Ornaghi},
  title     = {Constructive Specifications for Compositional Units},
  booktitle = {Logic Based Program Synthesis and Transformation, 14th International
               Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
               Selected Papers},
  pages     = {198--214},
  year      = {2004},
  crossref  = {DBLP:conf/lopstr/2004},
  url       = {https://doi.org/10.1007/11506676_13},
  doi       = {10.1007/11506676_13},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/LauMO04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BeringerHMS04,
  author    = {Lennart Beringer and
               Martin Hofmann and
               Alberto Momigliano and
               Olha Shkaravska},
  title     = {Automatic Certification of Heap Consumption},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
               International Conference, {LPAR} 2004, Montevideo, Uruguay, March
               14-18, 2005, Proceedings},
  pages     = {347--362},
  year      = {2004},
  crossref  = {DBLP:conf/lpar/2004},
  url       = {https://doi.org/10.1007/978-3-540-32275-7_23},
  doi       = {10.1007/978-3-540-32275-7_23},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/BeringerHMS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AspinallBHLM04,
  author    = {David Aspinall and
               Lennart Beringer and
               Martin Hofmann and
               Hans{-}Wolfgang Loidl and
               Alberto Momigliano},
  title     = {A Program Logic for Resource Verification},
  booktitle = {Theorem Proving in Higher Order Logics, 17th International Conference,
               TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  pages     = {34--49},
  year      = {2004},
  crossref  = {DBLP:conf/tphol/2004},
  url       = {https://doi.org/10.1007/978-3-540-30142-4_3},
  doi       = {10.1007/978-3-540-30142-4_3},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tphol/AspinallBHLM04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tocl/MomiglianoP03,
  author    = {Alberto Momigliano and
               Frank Pfenning},
  title     = {Higher-order pattern complement and the strict lambda-calculus},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {4},
  number    = {4},
  pages     = {493--529},
  year      = {2003},
  url       = {http://doi.acm.org/10.1145/937555.937559},
  doi       = {10.1145/937555.937559},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tocl/MomiglianoP03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MomiglianoA03,
  author    = {Alberto Momigliano and
               Simon Ambler},
  title     = {Multi-level Meta-reasoning with Higher-Order Abstract Syntax},
  booktitle = {Foundations of Software Science and Computational Structures, 6th
               International Conference, {FOSSACS} 2003 Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  pages     = {375--391},
  year      = {2003},
  crossref  = {DBLP:conf/fossacs/2003},
  url       = {https://doi.org/10.1007/3-540-36576-1_24},
  doi       = {10.1007/3-540-36576-1_24},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fossacs/MomiglianoA03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AmblerCM03,
  author    = {S. J. Ambler and
               Roy L. Crole and
               Alberto Momigliano},
  title     = {A definitional approach to primitivexs recursion over higher order
               abstract syntax},
  booktitle = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
               Workshop on Mechanized reasoning about languages with variable binding,
               {MERLIN} 2003, Uppsala, Sweden, August 2003},
  year      = {2003},
  crossref  = {DBLP:conf/icfp/2003merlin},
  url       = {http://doi.acm.org/10.1145/976571.976572},
  doi       = {10.1145/976571.976572},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/AmblerCM03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MomiglianoP03,
  author    = {Alberto Momigliano and
               Jeff Polakow},
  title     = {A formalization of an Ordered Logical Framework in Hybrid with applications
               to continuation machines},
  booktitle = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
               Workshop on Mechanized reasoning about languages with variable binding,
               {MERLIN} 2003, Uppsala, Sweden, August 2003},
  year      = {2003},
  crossref  = {DBLP:conf/icfp/2003merlin},
  url       = {http://doi.acm.org/10.1145/976571.976581},
  doi       = {10.1145/976571.976581},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/MomiglianoP03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/types/MomiglianoT03,
  author    = {Alberto Momigliano and
               Alwen Fernanto Tiu},
  title     = {Induction and Co-induction in Sequent Calculus},
  booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
               Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
  pages     = {293--308},
  year      = {2003},
  crossref  = {DBLP:conf/types/2003},
  url       = {https://doi.org/10.1007/978-3-540-24849-1_19},
  doi       = {10.1007/978-3-540-24849-1_19},
  timestamp = {Thu, 15 Jun 2017 21:39:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/types/MomiglianoT03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/MomiglianoAC02,
  author    = {Alberto Momigliano and
               Simon Ambler and
               Roy L. Crole},
  title     = {A Hybrid Encoding of Howe's Method for Establishing Congruence of
               Bisimilarity},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {70},
  number    = {2},
  pages     = {60--75},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80506-1},
  doi       = {10.1016/S1571-0661(04)80506-1},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/MomiglianoAC02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AmblerCM02,
  author    = {Simon Ambler and
               Roy L. Crole and
               Alberto Momigliano},
  title     = {Combining Higher Order Abstract Syntax with Tactical Theorem Proving
               and (Co)Induction},
  booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference,
               TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
  pages     = {13--30},
  year      = {2002},
  crossref  = {DBLP:conf/tphol/2002},
  url       = {https://doi.org/10.1007/3-540-45685-6_3},
  doi       = {10.1007/3-540-45685-6_3},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tphol/AmblerCM02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/AmblerCM01,
  author    = {Simon Ambler and
               Roy L. Crole and
               Alberto Momigliano},
  title     = {Preface: Mechanised Reasoning about Languages with Variable Binding
               2001},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {58},
  number    = {1},
  pages     = {115--116},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1571-0661(05)80579-1},
  doi       = {10.1016/S1571-0661(05)80579-1},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcs/AmblerCM01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0109072,
  author    = {Alberto Momigliano and
               Frank Pfenning},
  title     = {Higher-Order Pattern Complement and the Strict Lambda-Calculus},
  journal   = {CoRR},
  volume    = {cs.LO/0109072},
  year      = {2001},
  url       = {http://arxiv.org/abs/cs.LO/0109072},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/cs-LO-0109072},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csl/Momigliano00,
  author    = {Alberto Momigliano},
  title     = {Elimination of Negation in a Logical Framework},
  booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
               Germany, August 21-26, 2000, Proceedings},
  pages     = {411--426},
  year      = {2000},
  crossref  = {DBLP:conf/csl/2000},
  url       = {https://doi.org/10.1007/3-540-44622-2_28},
  doi       = {10.1007/3-540-44622-2_28},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/Momigliano00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/agp/MomiglianoP99,
  author    = {Alberto Momigliano and
               Frank Pfenning},
  title     = {The Relative Complement Problem for Higher-Order Patterns},
  booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
               Italy, September 6-9, 1999},
  pages     = {497--512},
  year      = {1999},
  crossref  = {DBLP:conf/agp/1999},
  timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/agp/MomiglianoP99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MomiglianoP99,
  author    = {Alberto Momigliano and
               Frank Pfenning},
  title     = {The Relative Complement Problem for Higher-Order Patterns},
  booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
               New Mexico, USA, November 29 - December 4, 1999},
  pages     = {380--394},
  year      = {1999},
  crossref  = {DBLP:conf/iclp/1999},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/MomiglianoP99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/MomiglianoO97,
  author    = {Alberto Momigliano and
               Mario Ornaghi},
  title     = {Regular Search Spaces and Constructive Negation},
  journal   = {J. Log. Comput.},
  volume    = {7},
  number    = {3},
  pages     = {367--403},
  year      = {1997},
  url       = {https://doi.org/10.1093/logcom/7.3.367},
  doi       = {10.1093/logcom/7.3.367},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/logcom/MomiglianoO97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MomiglianoO97,
  author    = {Alberto Momigliano and
               Mario Ornaghi},
  title     = {Towards a Logic for Reasoning About Logic Programs Transformation},
  booktitle = {Logic Programming Synthesis and Transformation, 7th International
               Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
  pages     = {226--244},
  year      = {1997},
  crossref  = {DBLP:conf/lopstr/1997},
  url       = {https://doi.org/10.1007/3-540-49674-2_12},
  doi       = {10.1007/3-540-49674-2_12},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/MomiglianoO97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/agp/MomiglianoO95,
  author    = {Alberto Momigliano and
               Mario Ornaghi},
  title     = {An Introduction to Regular Search Spaces},
  booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
               di Vietri, Italy, September 11-14, 1995},
  pages     = {183--194},
  year      = {1995},
  crossref  = {DBLP:conf/agp/1995},
  timestamp = {Wed, 01 Dec 2004 15:33:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/agp/MomiglianoO95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994w10,
  editor    = {Roy Dyckhoff and
               Lars{-}Henrik Eriksson and
               Alberto Momigliano and
               Mario Ornaghi},
  title     = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic
               Programming, Santa Margherita Ligure, Italy, June 1994},
  year      = {1994},
  timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1994w10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/elp/MomiglianoO93,
  author    = {Alberto Momigliano and
               Mario Ornaghi},
  title     = {Regular Search Spaces as a Foundation of Logic Programming},
  booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
               St. Andrews, U.K., March 29 - April 1, 1993, Proceedings},
  pages     = {222--254},
  year      = {1993},
  crossref  = {DBLP:conf/elp/1993},
  url       = {https://doi.org/10.1007/3-540-58025-5_59},
  doi       = {10.1007/3-540-58025-5_59},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/elp/MomiglianoO93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Momigliano92,
  author    = {Alberto Momigliano},
  title     = {Minimal Negation and Hereditary Harrop Formulae},
  booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
               Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
  pages     = {326--335},
  year      = {1992},
  crossref  = {DBLP:conf/lfcs/1992},
  url       = {https://doi.org/10.1007/BFb0023886},
  doi       = {10.1007/BFb0023886},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lfcs/Momigliano92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/TorquatiPM90,
  author    = {Franco Torquati and
               Massimo Paltrinieri and
               Alberto Momigliano},
  title     = {A Constraint Satisfaction Approach to Operative Management of Aircraft
               Routing},
  booktitle = {{IEA/AIE} (Vol. 2)},
  pages     = {1140--1146},
  year      = {1990},
  url       = {http://doi.acm.org/10.1145/98894.99140},
  doi       = {10.1145/98894.99140},
  timestamp = {Tue, 17 Dec 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ieaaie/TorquatiPM90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2017,
  editor    = {Dario Della Monica and
               Aniello Murano and
               Sasha Rubin and
               Luigi Sauro},
  title     = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
               Science and the 32nd Italian Conference on Computational Logic co-located
               with the 2017 {IEEE} International Workshop on Measurements and Networking
               {(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1949},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1949},
  urn       = {urn:nbn:de:0074-1949-5},
  timestamp = {Thu, 09 Nov 2017 17:00:01 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ictcs/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sefm/2017,
  editor    = {Alessandro Cimatti and
               Marjan Sirjani},
  title     = {Software Engineering and Formal Methods - 15th International Conference,
               {SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10469},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66197-1},
  doi       = {10.1007/978-3-319-66197-1},
  isbn      = {978-3-319-66196-4},
  timestamp = {Thu, 24 Aug 2017 12:24:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sefm/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tap/2016,
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Tests and Proofs - 10th International Conference, {TAP} 2016, Held
               as Part of {STAF} 2016, Vienna, Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4},
  doi       = {10.1007/978-3-319-41135-4},
  isbn      = {978-3-319-41134-7},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tap/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/CervesatoC15,
  editor    = {Iliano Cervesato and
               Kaustuv Chaudhuri},
  title     = {Proceedings Tenth International Workshop on Logical Frameworks and
               Meta Languages: Theory and Practice, {LFMTP} 2015, Berlin, Germany,
               1 August 2015},
  series    = {{EPTCS}},
  volume    = {185},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.185},
  doi       = {10.4204/EPTCS.185},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CervesatoC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cilc/2013,
  editor    = {Domenico Cantone and
               Marianna Nicolosi Asmundo},
  title     = {Proceedings of the 28th Italian Conference on Computational Logic,
               Catania, Italy, September 25-27, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1068},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1068},
  urn       = {urn:nbn:de:0074-1068-8},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cilc/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agp/2010,
  editor    = {Agostino Dovier and
               Enrico Pontelli},
  title     = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
               Association for Logic Programming, {GULP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6125},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14309-0},
  doi       = {10.1007/978-3-642-14309-0},
  isbn      = {978-3-642-14308-3},
  timestamp = {Thu, 25 May 2017 00:42:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/agp/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icmt/2010,
  editor    = {Laurence Tratt and
               Martin Gogolla},
  title     = {Theory and Practice of Model Transformations, Third International
               Conference, {ICMT} 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6142},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13688-7},
  doi       = {10.1007/978-3-642-13688-7},
  isbn      = {978-3-642-13687-0},
  timestamp = {Wed, 24 May 2017 08:27:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icmt/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2009,
  editor    = {Esra Erdem and
               Fangzhen Lin and
               Torsten Schaub},
  title     = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5753},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6},
  doi       = {10.1007/978-3-642-04238-6},
  isbn      = {978-3-642-04237-9},
  timestamp = {Tue, 23 May 2017 01:06:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpnmr/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2009,
  editor    = {Ant{\'{o}}nio Porto and
               Francisco Javier L{\'{o}}pez{-}Fraguas},
  title     = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-568-0},
  timestamp = {Tue, 22 Sep 2009 21:52:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/types/2008,
  editor    = {Stefano Berardi and
               Ferruccio Damiani and
               Ugo de'Liguoro},
  title     = {Types for Proofs and Programs, International Conference, {TYPES} 2008,
               Torino, Italy, March 26-29, 2008, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5497},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02444-3},
  doi       = {10.1007/978-3-642-02444-3},
  isbn      = {978-3-642-02443-6},
  timestamp = {Thu, 15 Jun 2017 21:39:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/types/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2007,
  editor    = {Andy King},
  title     = {Logic-Based Program Synthesis and Transformation, 17th International
               Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4915},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78769-3},
  doi       = {10.1007/978-3-540-78769-3},
  isbn      = {978-3-540-78768-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2007,
  editor    = {Michael Leuschel and
               Andreas Podelski},
  title     = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 14-16, 2007,
               Wroclaw, Poland},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-769-8},
  timestamp = {Fri, 24 Aug 2007 07:23:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ppdp/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sfp/2005,
  editor    = {Marko C. J. D. van Eekelen},
  title     = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
               Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
  series    = {Trends in Functional Programming},
  volume    = {6},
  publisher = {Intellect},
  year      = {2007},
  isbn      = {978-1-84150-176-5},
  timestamp = {Thu, 25 Oct 2007 13:58:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sfp/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2004,
  editor    = {Sandro Etalle},
  title     = {Logic Based Program Synthesis and Transformation, 14th International
               Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3573},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b137785},
  doi       = {10.1007/b137785},
  isbn      = {3-540-26655-0},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2004,
  editor    = {Franz Baader and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
               International Conference, {LPAR} 2004, Montevideo, Uruguay, March
               14-18, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3452},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106931},
  doi       = {10.1007/b106931},
  isbn      = {3-540-25236-3},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tphol/2004,
  editor    = {Konrad Slind and
               Annette Bunker and
               Ganesh Gopalakrishnan},
  title     = {Theorem Proving in Higher Order Logics, 17th International Conference,
               TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3223},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100400},
  doi       = {10.1007/b100400},
  isbn      = {3-540-23017-3},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tphol/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2003,
  editor    = {Andrew D. Gordon},
  title     = {Foundations of Software Science and Computational Structures, 6th
               International Conference, {FOSSACS} 2003 Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2620},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36576-1},
  doi       = {10.1007/3-540-36576-1},
  isbn      = {3-540-00897-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fossacs/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfp/2003merlin,
  title     = {Eighth {ACM} {SIGPLAN} International Conference on Functional Programming,
               Workshop on Mechanized reasoning about languages with variable binding,
               {MERLIN} 2003, Uppsala, Sweden, August 2003},
  publisher = {{ACM}},
  year      = {2003},
  timestamp = {Wed, 21 Apr 2004 14:02:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfp/2003merlin},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/types/2003,
  editor    = {Stefano Berardi and
               Mario Coppo and
               Ferruccio Damiani},
  title     = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
               Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3085},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98246},
  doi       = {10.1007/b98246},
  isbn      = {3-540-22164-6},
  timestamp = {Thu, 15 Jun 2017 21:39:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/types/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tphol/2002,
  editor    = {Victor Carre{\~{n}}o and
               C{\'{e}}sar A. Mu{\~{n}}oz and
               Sofi{\`{e}}ne Tahar},
  title     = {Theorem Proving in Higher Order Logics, 15th International Conference,
               TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2410},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45685-6},
  doi       = {10.1007/3-540-45685-6},
  isbn      = {3-540-44039-9},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tphol/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csl/2000,
  editor    = {Peter Clote and
               Helmut Schwichtenberg},
  title     = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
               Germany, August 21-26, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1862},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44622-2},
  doi       = {10.1007/3-540-44622-2},
  isbn      = {3-540-67895-6},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csl/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agp/1999,
  editor    = {Maria Chiara Meo and
               Manuel Vilares Ferro},
  title     = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
               Italy, September 6-9, 1999},
  year      = {1999},
  timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/agp/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1999,
  editor    = {Danny De Schreye},
  title     = {Logic Programming: The 1999 International Conference, Las Cruces,
               New Mexico, USA, November 29 - December 4, 1999},
  publisher = {{MIT} Press},
  year      = {1999},
  isbn      = {0-262-54104-1},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1997,
  editor    = {Norbert E. Fuchs},
  title     = {Logic Programming Synthesis and Transformation, 7th International
               Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1463},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49674-2},
  doi       = {10.1007/3-540-49674-2},
  isbn      = {3-540-65074-1},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agp/1995,
  editor    = {Mar{\'{\i}}a Alpuente and
               Maria I. Sessa},
  title     = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
               di Vietri, Italy, September 11-14, 1995},
  year      = {1995},
  timestamp = {Wed, 01 Dec 2004 15:33:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/agp/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/elp/1993,
  editor    = {Roy Dyckhoff},
  title     = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
               St. Andrews, U.K., March 29 - April 1, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {798},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58025-5},
  doi       = {10.1007/3-540-58025-5},
  isbn      = {3-540-58025-5},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/elp/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lfcs/1992,
  editor    = {Anil Nerode and
               Michael A. Taitslin},
  title     = {Logical Foundations of Computer Science - Tver '92, Second International
               Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {620},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0023857},
  doi       = {10.1007/BFb0023857},
  isbn      = {3-540-55707-5},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lfcs/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier