Some General Incompleteness Results for Partial Correctness Logics - Maria Teresa Hortalá-González; Francisca Lucio-Carrasco; Mario Rodríguez-Artalejo (Inf. Comput., 1988)

A First Order Logic for Partial Functions (Extended Abstract). - Francisca Lucio-Carrasco; Antonio Gavilanes-Franco (STACS, 1989)

A First Order Logic for Partial Functions. - Antonio Gavilanes-Franco; Francisca Lucio-Carrasco (Theor. Comput. Sci., 1990)

Reasoning with Higher Order Partial Functions. - Antonio Gavilanes-Franco; Francisca Lucio-Carrasco; Mario Rodríguez-Artalejo (CSL, 1992)

A Monotonic Declarative Semantics for Normal Logic Programs. - Paqui Lucio; Fernando Orejas; Elvira Pino (APPIA-GULP-PRODE, 1997)

A Strong Logic Programming View for Static Embedded Implications. - Rosa Arruabarrena; Paqui Lucio; Marisa Navarro (FoSSaCS, 1999)

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. - Paqui Lucio; Fernando Orejas; Elvira Pino (J. Log. Program., 1999)

Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic. - Paqui Lucio (FroCoS, 2000)

Constructive negation by bottom-up computation of literal answers. - Javier Álvez; Paqui Lucio; Fernando Orejas (SAC, 2004)

Elimination of Local Variables from Definite Logic Programs. - Javier Álvez; Paqui Lucio (PROLE, 2004)

An Algorithm for Local Variable Elimination in Normal Logic Programs. - Javier Álvez; Paqui Lucio (LOPSTR, 2005)

Equational Constraint Solving Via a Restricted Form of Universal Quantification. - Javier Álvez; Paqui Lucio (FoIKS, 2006)

Preface. - Paqui Lucio; Fernando Orejas (PROLE, 2006)

A Cut-Free and Invariant-Free Sequent Calculus for PLTL. - Joxe Gaintzarain; Montserrat Hermo; Paqui Lucio; Marisa Navarro; Fernando Orejas (CSL, 2007)

A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. - Javier Álvez; Paqui Lucio (PROLE, 2007)

Systematic Semantic Tableaux for PLTL. - Joxe Gaintzarain; Montserrat Hermo; Paqui Lucio; Marisa Navarro (PROLE, 2007)

A Generalization of the Folding Rule for the Clark-Kunen Semantics. - Javier Álvez; Paqui Lucio (FLOPS, 2008)

A Functorial Framework for Constraint Normal Logic Programming. - Paqui Lucio; Fernando Orejas; Edelmira Pasarella; Elvira Pino (Appl. Categorical Struct., 2008)

Preface. - Paqui Lucio; Ginés Moreno; Ricardo Peña (PROLE, 2009)

Dual Systems of Tableaux and Sequents for PLTL. - Joxe Gaintzarain; Montserrat Hermo; Paqui Lucio; Marisa Navarro; Fernando Orejas (J. Log. Algebraic Methods Program., 2009)

Translating propositional extended conjunctions of Horn clauses into Boolean circuits. - Joxe Gaintzarain; Montserrat Hermo; Paqui Lucio; Marisa Navarro (Theor. Comput. Sci., 2010)

Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning. - Javier Álvez; Paqui Lucio; German Rigau (Int. J. Semantic Web Inf. Syst., 2012)

Invariant-Free Clausal Temporal Resolution. - Jose Gaintzarain; Montserrat Hermo; Paqui Lucio; Marisa Navarro; Fernando Orejas (J. Autom. Reason., 2013)

Logical foundations for more expressive declarative temporal logic programming languages. - Jose Gaintzarain; Paqui Lucio (ACM Trans. Comput. Log., 2013)

Improving the Competency of First-Order Ontologies. - Javier Álvez; Paqui Lucio; German Rigau (K-CAP, 2015)

Evaluating the Competency of a First-Order Ontology. - Javier Álvez; Paqui Lucio; German Rigau (K-CAP, 2015)

An Assertional Proof of the Stability and Correctness of Natural Mergesort. - K. Rustan M. Leino; Paqui Lucio (ACM Trans. Comput. Log., 2015)

Evaluating Automated Theorem Provers Using Adimen-SUMO. - Javier Álvez; Paqui Lucio; German Rigau (Vampire@IJCAR, 2016)

A Tutorial on Using Dafny to Construct Verified Software. - Paqui Lucio (PROLE, 2016)

Black-box Testing of First-Order Logic Ontologies Using WordNet. - Javier Álvez; Paqui Lucio; German Rigau (CoRR, 2017)

Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. - Alexander Bolotov; Montserrat Hermo; Paqui Lucio (TIME, 2018)

Towards Certified Model Checking for PLTL Using One-Pass Tableaux. - Alex Abuin; Alexander Bolotov; Unai Díaz-de-Cerio; Montserrat Hermo; Paqui Lucio (TIME, 2019)

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet. - Javier Álvez; Paqui Lucio; German Rigau (IEEE Access, 2019)

Automatic white-box testing of first-order logic ontologies. - Javier Álvez; Montserrat Hermo; Paqui Lucio; German Rigau (J. Log. Comput., 2019)

One-Pass Context-Based Tableaux Systems for CTL and ECTL. - Alex Abuin; Alexander Bolotov; Montserrat Hermo; Paqui Lucio (TIME, 2020)

Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+. - Alexander Bolotov; Montserrat Hermo; Paqui Lucio (Theor. Comput. Sci., 2020)

Verified Model Checking for Conjunctive Positive Logic. - Alex Abuin; Unai Díaz-de-Cerio; Montserrat Hermo; Paqui Lucio (SN Comput. Sci., 2021)

A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications. - Montserrat Hermo; Paqui Lucio; César Sánchez 001 (CoRR, 2022)

Tableaux for Realizability of Safety Specifications. - Montserrat Hermo; Paqui Lucio; César Sánchez 001 (FM, 2023)

Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. - Alex Abuin; Alexander Bolotov; Montserrat Hermo; Paqui Lucio (J. Log. Algebraic Methods Program., 2023)