| 2019 | Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers Fred Mesnard, Peter J. Stuckey |
| 2018 | A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. Petros Papapanagiotou, Jacques D. Fleuriot |
| 2018 | An Assertion Language for Slicing Constraint Logic Languages. Moreno Falaschi, Carlos Olarte |
| 2018 | Compiling Control as Offline Partial Deduction. Vincent Nys, Danny De Schreye |
| 2018 | Confluence of CHR Revisited: Invariants and Modulo Equivalence. Henning Christiansen, Maja H. Kirkeby |
| 2018 | Eliminating Unstable Tests in Floating-Point Programs. Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato |
| 2018 | Guided Unfoldings for Finding Loops in Standard Term Rewriting. Étienne Payet |
| 2018 | Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer |
| 2018 | Multiparty Classical Choreographies. Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska |
| 2018 | Multivariant Assertion-Based Guidance in Abstract Interpretation. Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo |
| 2018 | Predicate Specialization for Definitional Higher-Order Logic Programs. Antonis Troumpoukis, Angelos Charalambidis |
| 2018 | Proving Program Properties as First-Order Satisfiability. Salvador Lucas |