| 2019 | Solving Proximity Constraints. | Temur Kutsia, Cleo Pau |
| 2019 | A General Framework for Static Cost Analysis of Parallel Logic Programs. | Maximiliano Klemen, Pedro Lpez-Garca, John P. Gallagher, Jos F. Morales, Manuel V. Hermenegildo |
| 2019 | Semi-inversion of Conditional Constructor Term Rewriting Systems. | Maja Hanne Kirkeby, Robert Glck |
| 2019 | Incremental Analysis of Logic Programs with Assertions and Open Predicates. | Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo |
| 2019 | Trace Analysis Using an Event-Driven Interval Temporal Logic. | Mara-del-Mar Gallardo, Laura Panizo |
| 2019 | A Port Graph Rewriting Approach to Relational Database Modelling. | Maribel Fernndez, Bruno Pinaud, Jnos Varga |
| 2019 | The Prolog Debugger and Declarative Programming. | Wlodzimierz Drabent |
| 2019 | Verified Construction of Fair Voting Rules. | Karsten Diekhoff, Michael Kirsten, Jonas Krmer |
| 2019 | On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. | Patrick Cousot |
| 2019 | An Integrated Approach to Assertion-Based Random Testing in Prolog. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2019 | Computing Abstract Distances in Logic Programs. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Roberto Giacobazzi, Manuel V. Hermenegildo |
| 2019 | A Certified Functional Nominal C-Unification Algorithm. | Mauricio Ayala-Rincn, Maribel Fernndez, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho |
| 2019 | Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. | Joaqun Arias, Zhuo Chen, Manuel Carro, Gopal Gupta |
| 2018 | Predicate Specialization for Definitional Higher-Order Logic Programs. | Antonis Troumpoukis, Angelos Charalambidis |
| 2018 | Eliminating Unstable Tests in Floating-Point Programs. | Laura Titolo, Csar A. Muoz, Marco A. Feli, Mariano M. Moscato |
| 2018 | Guided Unfoldings for Finding Loops in Standard Term Rewriting. | tienne Payet |
| 2018 | A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. | Petros Papapanagiotou, Jacques D. Fleuriot |
| 2018 | Compiling Control as Offline Partial Deduction. | Vincent Nys, Danny De Schreye |
| 2018 | Proving Program Properties as First-Order Satisfiability. | Salvador Lucas |
| 2018 | Multivariant Assertion-Based Guidance in Abstract Interpretation. | Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | An Assertion Language for Slicing Constraint Logic Languages. | Moreno Falaschi, Carlos Olarte |
| 2018 | Multiparty Classical Choreographies. | Marco Carbone, Lus Cruz-Filipe, Fabrizio Montesi, Agata Murawska |
| 2018 | Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. | Mara Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2018 | Confluence of CHR Revisited: Invariants and Modulo Equivalence. | Henning Christiansen, Maja H. Kirkeby |
| 2017 | A Constructor-Based Reachability Logic for Rewrite Theories. | Stephen Skeirik, Andrei Stefanescu, Jos Meseguer |