| 2020 | Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers Maurizio Gabbrielli |
| 2019 | A Certified Functional Nominal C-Unification Algorithm. Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho |
| 2019 | A General Framework for Static Cost Analysis of Parallel Logic Programs. Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo |
| 2019 | A Port Graph Rewriting Approach to Relational Database Modelling. Maribel Fernández, Bruno Pinaud, János Varga |
| 2019 | An Integrated Approach to Assertion-Based Random Testing in Prolog. Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo |
| 2019 | Computing Abstract Distances in Logic Programs. Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo |
| 2019 | Generalization-Driven Semantic Clone Detection in CLP. Wim Vanhoof, Gonzague Yernaux |
| 2019 | Incremental Analysis of Logic Programs with Assertions and Open Predicates. Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
| 2019 | Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta |
| 2019 | On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. Patrick Cousot |
| 2019 | Semi-inversion of Conditional Constructor Term Rewriting Systems. Maja Hanne Kirkeby, Robert Glück |
| 2019 | Solving Proximity Constraints. Temur Kutsia, Cleo Pau |
| 2019 | Synthesizing Imperative Code from Answer Set Programming Specifications. Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta |
| 2019 | The Prolog Debugger and Declarative Programming. Wlodzimierz Drabent |
| 2019 | Trace Analysis Using an Event-Driven Interval Temporal Logic. María-del-Mar Gallardo, Laura Panizo |
| 2019 | Verified Construction of Fair Voting Rules. Karsten Diekhoff, Michael Kirsten, Jonas Krämer |