Equivalence in Answer Set Programming. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (LOPSTR, 2001)

Debugging in A-Prolog: A Logical Approach. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (ICLP, 2002)

A logical approach to A-Prolog. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (WoLLIC, 2002)

Answer Set Programming and S4. - Mauricio Osorio 001; Juan Antonio Navarro Pérez (IBERAMIA, 2004)

Computing Preferred Safe Beliefs. - Luis A. Montiel; Juan Antonio Navarro Pérez (LA-NMR, 2004)

Applications of Intuitionistic Logic in Answer Set Programming. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (Theory Pract. Log. Program., 2004)

Generation of Hard Non-Clausal Random Satisfiability Problems. - Juan Antonio Navarro Pérez; Andrei Voronkov (AAAI, 2005)

Safe beliefs for propositional theories. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José Arrazola (Ann. Pure Appl. Log., 2005)

Ground Nonmonotonic Modal Logic S5: New Results. - Mauricio Javier Osorio Galindo; Juan Antonio Navarro Pérez; José R. Arrazola Ramírez; Verónica Borja Macías (J. Log. Comput., 2005)

Logics with Common Weak Completions. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José R. Arrazola Ramírez; Verónica Borja Macías (J. Log. Comput., 2006)

Encodings of Bounded LTL Model Checking in Effectively Propositional Logic. - Juan Antonio Navarro Pérez; Andrei Voronkov (CADE, 2007)

Encodings of Problems in Effectively Propositional Logic. - Juan Antonio Navarro Pérez; Andrei Voronkov (SAT, 2007)

Proof Systems for Effectively Propositional Logic. - Juan Antonio Navarro Pérez; Andrei Voronkov (IJCAR, 2008)

Cardinality Abstraction for Declarative Networking Applications. - Juan Antonio Navarro Pérez; Andrey Rybalchenko; Atul Singh (CAV, 2009)

Operational Semantics for Declarative Networking. - Juan Antonio Navarro Pérez; Andrey Rybalchenko (PADL, 2009)

Applying Prolog to develop distributed systems. - Nuno P. Lopes; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Atul Singh (Theory Pract. Log. Program., 2010)

Separation logic + superposition calculus = heap theorem prover. - Juan Antonio Navarro Pérez; Andrey Rybalchenko (PLDI, 2011)

The spread of media content through blogs. - Meeyoung Cha; Juan Antonio Navarro Pérez; Hamed Haddadi (Soc. Netw. Anal. Min., 2012)

Separation Logic Modulo Theories. - Juan Antonio Navarro Pérez; Andrey Rybalchenko (APLAS, 2013)

Planning with Effectively Propositional Logic. - Juan Antonio Navarro Pérez; Andrei Voronkov (Programming Logics, 2013)

A decision procedure for satisfiability in separation logic with inductive predicates. - James Brotherston; Carsten Fuhs; Juan Antonio Navarro Pérez; Nikos Gorogiannis (CSL-LICS, 2014)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)