BibTeX records: Paqui Lucio

download as .bib file

@article{DBLP:journals/jlap/AbuinBHL23,
  author       = {Alex Abuin and
                  Alexander Bolotov and
                  Montserrat Hermo and
                  Paqui Lucio},
  title        = {Tableaux and sequent calculi for {CTL} and {ECTL:} Satisfiability
                  test with certifying proofs and models},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {130},
  pages        = {100828},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2022.100828},
  doi          = {10.1016/J.JLAMP.2022.100828},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/AbuinBHL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HermoLS23,
  author       = {Montserrat Hermo and
                  Paqui Lucio and
                  C{\'{e}}sar S{\'{a}}nchez},
  editor       = {Marsha Chechik and
                  Joost{-}Pieter Katoen and
                  Martin Leucker},
  title        = {Tableaux for Realizability of Safety Specifications},
  booktitle    = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
                  Germany, March 6-10, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14000},
  pages        = {495--513},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-27481-7\_28},
  doi          = {10.1007/978-3-031-27481-7\_28},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/HermoLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-01492,
  author       = {Montserrat Hermo and
                  Paqui Lucio and
                  C{\'{e}}sar S{\'{a}}nchez},
  title        = {A Tableau Method for the Realizability and Synthesis of Reactive Safety
                  Specifications},
  journal      = {CoRR},
  volume       = {abs/2206.01492},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.01492},
  doi          = {10.48550/ARXIV.2206.01492},
  eprinttype    = {arXiv},
  eprint       = {2206.01492},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-01492.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/AbuinDHL21,
  author       = {Alex Abuin and
                  Unai D{\'{\i}}az{-}de{-}Cerio and
                  Montserrat Hermo and
                  Paqui Lucio},
  title        = {Verified Model Checking for Conjunctive Positive Logic},
  journal      = {{SN} Comput. Sci.},
  volume       = {2},
  number       = {5},
  pages        = {344},
  year         = {2021},
  url          = {https://doi.org/10.1007/s42979-020-00417-3},
  doi          = {10.1007/S42979-020-00417-3},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sncs/AbuinDHL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BolotovHL20,
  author       = {Alexander Bolotov and
                  Montserrat Hermo and
                  Paqui Lucio},
  title        = {Branching-time logic ECTL{\#} and its tree-style one-pass tableau:
                  Extending fairness expressibility of {ECTL+}},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {428--451},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.02.015},
  doi          = {10.1016/J.TCS.2020.02.015},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BolotovHL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/AbuinBHL20,
  author       = {Alex Abuin and
                  Alexander Bolotov and
                  Montserrat Hermo and
                  Paqui Lucio},
  editor       = {Emilio Mu{\~{n}}oz{-}Velasco and
                  Ana Ozaki and
                  Martin Theobald},
  title        = {One-Pass Context-Based Tableaux Systems for {CTL} and {ECTL}},
  booktitle    = {27th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2020, September 23-25, 2020, Bozen-Bolzano, Italy},
  series       = {LIPIcs},
  volume       = {178},
  pages        = {14:1--14:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2020.14},
  doi          = {10.4230/LIPICS.TIME.2020.14},
  timestamp    = {Mon, 21 Dec 2020 13:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/time/AbuinBHL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AlvezLR19,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  German Rigau},
  title        = {A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {36075--36093},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2904835},
  doi          = {10.1109/ACCESS.2019.2904835},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/AlvezLR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AlvezHLR19,
  author       = {Javier {\'{A}}lvez and
                  Montserrat Hermo and
                  Paqui Lucio and
                  German Rigau},
  title        = {Automatic white-box testing of first-order logic ontologies},
  journal      = {J. Log. Comput.},
  volume       = {29},
  number       = {5},
  pages        = {723--751},
  year         = {2019},
  url          = {https://doi.org/10.1093/logcom/exz001},
  doi          = {10.1093/LOGCOM/EXZ001},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/AlvezHLR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/AbuinBDHL19,
  author       = {Alex Abuin and
                  Alexander Bolotov and
                  Unai D{\'{\i}}az{-}de{-}Cerio and
                  Montserrat Hermo and
                  Paqui Lucio},
  editor       = {Johann Gamper and
                  Sophie Pinchinat and
                  Guido Sciavicco},
  title        = {Towards Certified Model Checking for {PLTL} Using One-Pass Tableaux},
  booktitle    = {26th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
  series       = {LIPIcs},
  volume       = {147},
  pages        = {12:1--12:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2019.12},
  doi          = {10.4230/LIPICS.TIME.2019.12},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/AbuinBDHL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BolotovHL18,
  author       = {Alexander Bolotov and
                  Montserrat Hermo and
                  Paqui Lucio},
  editor       = {Natasha Alechina and
                  Kjetil N{\o}rv{\aa}g and
                  Wojciech Penczek},
  title        = {Extending Fairness Expressibility of {ECTL+:} {A} Tree-Style One-Pass
                  Tableau Approach},
  booktitle    = {25th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2018, Warsaw, Poland, October 15-17, 2018},
  series       = {LIPIcs},
  volume       = {120},
  pages        = {5:1--5:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2018.5},
  doi          = {10.4230/LIPICS.TIME.2018.5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/BolotovHL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvezLR17,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  German Rigau},
  title        = {Black-box Testing of First-Order Logic Ontologies Using WordNet},
  journal      = {CoRR},
  volume       = {abs/1705.10217},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.10217},
  eprinttype    = {arXiv},
  eprint       = {1705.10217},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AlvezLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvezHLR17,
  author       = {Javier {\'{A}}lvez and
                  Montserrat Hermo and
                  Paqui Lucio and
                  German Rigau},
  title        = {Automatic White-Box Testing of First-Order Logic Ontologies},
  journal      = {CoRR},
  volume       = {abs/1705.10219},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.10219},
  eprinttype    = {arXiv},
  eprint       = {1705.10219},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AlvezHLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AlvezLR16,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  German Rigau},
  editor       = {Laura Kov{\'{a}}cs and
                  Andrei Voronkov},
  title        = {Evaluating Automated Theorem Provers Using Adimen-SUMO},
  booktitle    = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra,
                  Portugal, July 2, 2016},
  series       = {EPiC Series in Computing},
  volume       = {44},
  pages        = {74--82},
  publisher    = {EasyChair},
  year         = {2016},
  url          = {https://doi.org/10.29007/hplh},
  doi          = {10.29007/HPLH},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AlvezLR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Lucio17,
  author       = {Paqui Lucio},
  editor       = {Alicia Villanueva},
  title        = {A Tutorial on Using Dafny to Construct Verified Software},
  booktitle    = {Proceedings {XVI} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
                  {PROLE} 2016, Salamanca, Spain, 14-16th September 2016},
  series       = {{EPTCS}},
  volume       = {237},
  pages        = {1--19},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.237.1},
  doi          = {10.4204/EPTCS.237.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Lucio17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LeinoL15,
  author       = {K. Rustan M. Leino and
                  Paqui Lucio},
  title        = {An Assertional Proof of the Stability and Correctness of Natural Mergesort},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {17},
  number       = {1},
  pages        = {6},
  year         = {2015},
  url          = {https://doi.org/10.1145/2814571},
  doi          = {10.1145/2814571},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/LeinoL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/AlvezLR15,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  German Rigau},
  editor       = {Ken Barker and
                  Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez},
  title        = {Improving the Competency of First-Order Ontologies},
  booktitle    = {Proceedings of the 8th International Conference on Knowledge Capture,
                  {K-CAP} 2015, Palisades, NY, USA, October 7-10, 2015},
  pages        = {15:1--15:8},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2815833.2815841},
  doi          = {10.1145/2815833.2815841},
  timestamp    = {Sun, 25 Oct 2020 22:55:43 +0100},
  biburl       = {https://dblp.org/rec/conf/kcap/AlvezLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/AlvezLR15a,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  German Rigau},
  editor       = {Ken Barker and
                  Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez},
  title        = {Evaluating the Competency of a First-Order Ontology},
  booktitle    = {Proceedings of the 8th International Conference on Knowledge Capture,
                  {K-CAP} 2015, Palisades, NY, USA, October 7-10, 2015},
  pages        = {28:1--28:4},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2815833.2816946},
  doi          = {10.1145/2815833.2816946},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kcap/AlvezLR15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvezLR15,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  German Rigau},
  title        = {Improving the Competency of First-Order Ontologies},
  journal      = {CoRR},
  volume       = {abs/1510.04817},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.04817},
  eprinttype    = {arXiv},
  eprint       = {1510.04817},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AlvezLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvezLR15a,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  German Rigau},
  title        = {Evaluating the Competency of a First-Order Ontology},
  journal      = {CoRR},
  volume       = {abs/1510.04826},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.04826},
  eprinttype    = {arXiv},
  eprint       = {1510.04826},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AlvezLR15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GaintzarainHLNO13,
  author       = {Jose Gaintzarain and
                  Montserrat Hermo and
                  Paqui Lucio and
                  Marisa Navarro and
                  Fernando Orejas},
  title        = {Invariant-Free Clausal Temporal Resolution},
  journal      = {J. Autom. Reason.},
  volume       = {50},
  number       = {1},
  pages        = {1--49},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10817-011-9241-2},
  doi          = {10.1007/S10817-011-9241-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GaintzarainHLNO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GaintzarainL13,
  author       = {Jose Gaintzarain and
                  Paqui Lucio},
  title        = {Logical foundations for more expressive declarative temporal logic
                  programming languages},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {14},
  number       = {4},
  pages        = {28:1--28:41},
  year         = {2013},
  url          = {https://doi.org/10.1145/2528931},
  doi          = {10.1145/2528931},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GaintzarainL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijswis/AlvezLR12,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  German Rigau},
  title        = {Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning},
  journal      = {Int. J. Semantic Web Inf. Syst.},
  volume       = {8},
  number       = {4},
  pages        = {80--116},
  year         = {2012},
  url          = {https://doi.org/10.4018/jswis.2012100105},
  doi          = {10.4018/JSWIS.2012100105},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijswis/AlvezLR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GaintzarainHLN10,
  author       = {Joxe Gaintzarain and
                  Montserrat Hermo and
                  Paqui Lucio and
                  Marisa Navarro},
  title        = {Translating propositional extended conjunctions of Horn clauses into
                  Boolean circuits},
  journal      = {Theor. Comput. Sci.},
  volume       = {411},
  number       = {16-18},
  pages        = {1723--1733},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.tcs.2010.01.013},
  doi          = {10.1016/J.TCS.2010.01.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GaintzarainHLN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GaintzarainHLNO09,
  author       = {Joxe Gaintzarain and
                  Montserrat Hermo and
                  Paqui Lucio and
                  Marisa Navarro and
                  Fernando Orejas},
  title        = {Dual Systems of Tableaux and Sequents for {PLTL}},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {78},
  number       = {8},
  pages        = {701--722},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jlap.2009.05.001},
  doi          = {10.1016/J.JLAP.2009.05.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GaintzarainHLNO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucioMP09,
  author       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {Preface},
  booktitle    = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.001},
  doi          = {10.1016/J.ENTCS.2009.12.001},
  timestamp    = {Fri, 24 Feb 2023 15:47:39 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LucioMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2009,
  editor       = {Paqui Lucio and
                  Gin{\'{e}}s Moreno and
                  Ricardo Pe{\~{n}}a},
  title        = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
                  {PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/258/issue/1},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prole/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/LucioOPP08,
  author       = {Paqui Lucio and
                  Fernando Orejas and
                  Edelmira Pasarella and
                  Elvira Pino},
  title        = {A Functorial Framework for Constraint Normal Logic Programming},
  journal      = {Appl. Categorical Struct.},
  volume       = {16},
  number       = {3},
  pages        = {421--450},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10485-008-9128-5},
  doi          = {10.1007/S10485-008-9128-5},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acs/LucioOPP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AlvezL08,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio},
  editor       = {Jacques Garrigue and
                  Manuel V. Hermenegildo},
  title        = {A Generalization of the Folding Rule for the Clark-Kunen Semantics},
  booktitle    = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
                  2008, Ise, Japan, April 14-16, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4989},
  pages        = {180--194},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78969-7\_14},
  doi          = {10.1007/978-3-540-78969-7\_14},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/AlvezL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GaintzarainHLNO07,
  author       = {Joxe Gaintzarain and
                  Montserrat Hermo and
                  Paqui Lucio and
                  Marisa Navarro and
                  Fernando Orejas},
  editor       = {Jacques Duparc and
                  Thomas A. Henzinger},
  title        = {A Cut-Free and Invariant-Free Sequent Calculus for {PLTL}},
  booktitle    = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
                  Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
                  2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4646},
  pages        = {481--495},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74915-8\_36},
  doi          = {10.1007/978-3-540-74915-8\_36},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/GaintzarainHLNO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvezL08,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio},
  editor       = {Ernesto Pimentel},
  title        = {A New Proposal Of Quasi-Solved Form For Equality Constraint Solving},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {23--40},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.073},
  doi          = {10.1016/J.ENTCS.2008.03.073},
  timestamp    = {Mon, 13 Feb 2023 13:57:26 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlvezL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaintzarainHLN08,
  author       = {Joxe Gaintzarain and
                  Montserrat Hermo and
                  Paqui Lucio and
                  Marisa Navarro},
  editor       = {Ernesto Pimentel},
  title        = {Systematic Semantic Tableaux for {PLTL}},
  booktitle    = {Proceedings of the Seventh Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {206},
  pages        = {59--73},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.075},
  doi          = {10.1016/J.ENTCS.2008.03.075},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GaintzarainHLN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2006,
  editor       = {Paqui Lucio and
                  Fernando Orejas},
  title        = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
                  {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {188},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/188/suppl/C},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prole/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LucioOPP06,
  author       = {Paqui Lucio and
                  Fernando Orejas and
                  Edelmira Pasarella and
                  Elvira Pino},
  editor       = {Kokichi Futatsugi and
                  Jean{-}Pierre Jouannaud and
                  Jos{\'{e}} Meseguer},
  title        = {A Functorial Framework for Constraint Normal Logic Programming},
  booktitle    = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4060},
  pages        = {555--577},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11780274\_29},
  doi          = {10.1007/11780274\_29},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LucioOPP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/AlvezL06,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio},
  editor       = {J{\"{u}}rgen Dix and
                  Stephen J. Hegner},
  title        = {Equational Constraint Solving Via a Restricted Form of Universal Quantification},
  booktitle    = {Foundations of Information and Knowledge Systems, 4th International
                  Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3861},
  pages        = {2--21},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11663881\_2},
  doi          = {10.1007/11663881\_2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/AlvezL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucioO07,
  author       = {Paqui Lucio and
                  Fernando Orejas},
  editor       = {Paqui Lucio and
                  Fernando Orejas},
  title        = {Preface},
  booktitle    = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
                  {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {188},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.05.048},
  doi          = {10.1016/J.ENTCS.2006.05.048},
  timestamp    = {Tue, 31 Jan 2023 15:25:12 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LucioO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlvezL05,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio},
  editor       = {Patricia M. Hill},
  title        = {An Algorithm for Local Variable Elimination in Normal Logic Programs},
  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        = {61--79},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11680093\_5},
  doi          = {10.1007/11680093\_5},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlvezL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlvezLO04,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio and
                  Fernando Orejas},
  editor       = {Hisham Haddad and
                  Andrea Omicini and
                  Roger L. Wainwright and
                  Lorie M. Liebrock},
  title        = {Constructive negation by bottom-up computation of literal answers},
  booktitle    = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
                  Nicosia, Cyprus, March 14-17, 2004},
  pages        = {1468--1475},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/967900.968194},
  doi          = {10.1145/967900.968194},
  timestamp    = {Tue, 06 Nov 2018 11:06:44 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/AlvezLO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvezL05,
  author       = {Javier {\'{A}}lvez and
                  Paqui Lucio},
  editor       = {Salvador Lucas},
  title        = {Elimination of Local Variables from Definite Logic Programs},
  booktitle    = {Proceedings of the Fourth Spanish Conference on Programming and Computer
                  Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {137},
  number       = {1},
  pages        = {5--24},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.037},
  doi          = {10.1016/J.ENTCS.2005.01.037},
  timestamp    = {Mon, 12 Dec 2022 16:37:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlvezL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Lucio00,
  author       = {Paqui Lucio},
  editor       = {H{\'{e}}l{\`{e}}ne Kirchner and
                  Christophe Ringeissen},
  title        = {Structured Sequent Calculi for Combining Intuitionistic and Classical
                  First-Order Logic},
  booktitle    = {Frontiers of Combining Systems, Third International Workshop, FroCoS
                  2000, Nancy, France, March 22-24, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1794},
  pages        = {88--104},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10720084\_7},
  doi          = {10.1007/10720084\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/Lucio00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LucioOP99,
  author       = {Paqui Lucio and
                  Fernando Orejas and
                  Elvira Pino},
  title        = {An Algebraic Framework for the Definition of Compositional Semantics
                  of Normal Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {40},
  number       = {1},
  pages        = {89--124},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0743-1066(98)10039-0},
  doi          = {10.1016/S0743-1066(98)10039-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LucioOP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ArruabarrenaLN99,
  author       = {Rosa Arruabarrena and
                  Paqui Lucio and
                  Marisa Navarro},
  editor       = {Wolfgang Thomas},
  title        = {A Strong Logic Programming View for Static Embedded Implications},
  booktitle    = {Foundations of Software Science and Computation Structure, Second
                  International Conference, FoSSaCS'99, Held as Part of the European
                  Joint Conferences on the Theory and Practice of Software, ETAPS'99,
                  Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1578},
  pages        = {56--72},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49019-1\_5},
  doi          = {10.1007/3-540-49019-1\_5},
  timestamp    = {Sun, 17 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/ArruabarrenaLN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LucioOP97,
  author       = {Paqui Lucio and
                  Fernando Orejas and
                  Elvira Pino},
  editor       = {Moreno Falaschi and
                  Marisa Navarro and
                  Alberto Policriti},
  title        = {A Monotonic Declarative Semantics for Normal Logic Programs},
  booktitle    = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
                  Grado, Italy, June 16-19, 1997},
  pages        = {271--282},
  year         = {1997},
  timestamp    = {Thu, 02 Dec 2004 11:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/LucioOP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agp/1996,
  editor       = {Paqui Lucio and
                  Maurizio Martelli and
                  Marisa Navarro},
  title        = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
                  Donostia-San Sebastian, Spain, July 15-18, 1996},
  year         = {1996},
  timestamp    = {Thu, 02 Dec 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Gavilanes-FrancoLR92,
  author       = {Antonio Gavilanes{-}Franco and
                  Francisca Lucio{-}Carrasco and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  editor       = {Egon B{\"{o}}rger and
                  Gerhard J{\"{a}}ger and
                  Hans Kleine B{\"{u}}ning and
                  Simone Martini and
                  Michael M. Richter},
  title        = {Reasoning with Higher Order Partial Functions},
  booktitle    = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy,
                  September 28 - October 2, 1992, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {702},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56992-8\_12},
  doi          = {10.1007/3-540-56992-8\_12},
  timestamp    = {Fri, 17 Jul 2020 16:12:45 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Gavilanes-FrancoLR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Gavilanes-FrancoL90,
  author       = {Antonio Gavilanes{-}Franco and
                  Francisca Lucio{-}Carrasco},
  title        = {A First Order Logic for Partial Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {74},
  number       = {1},
  pages        = {37--69},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90005-3},
  doi          = {10.1016/0304-3975(90)90005-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gavilanes-FrancoL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Lucio-CarrascoG89,
  author       = {Francisca Lucio{-}Carrasco and
                  Antonio Gavilanes{-}Franco},
  editor       = {Burkhard Monien and
                  Robert Cori},
  title        = {A First Order Logic for Partial Functions (Extended Abstract)},
  booktitle    = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer
                  Science, Paderborn, FRG, February 16-18, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {349},
  pages        = {47--58},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0028972},
  doi          = {10.1007/BFB0028972},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Lucio-CarrascoG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Hortala-Gonzalezlm88,
  author       = {Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
                  Francisca Lucio{-}Carrasco and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Some General Incompleteness Results for Partial Correctness Logics},
  journal      = {Inf. Comput.},
  volume       = {79},
  number       = {1},
  pages        = {22--42},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90015-6},
  doi          = {10.1016/0890-5401(88)90015-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Hortala-Gonzalezlm88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics