| 2013 | Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers Elvira Albert |
| 2012 | A Declarative Pipeline Language for Complex Data Analysis. Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
| 2012 | A Framework for Guided Test Case Generation in Constraint Logic Programming. José Miguel Rojas, Miguel Gómez-Zamalloa |
| 2012 | An Introduction to Search Combinators. Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2012 | Computing More Specific Versions of Conditional Rewriting Systems. Naoki Nishida, Germán Vidal |
| 2012 | Enhancing Declarative Debugging with Loop Expansion and Tree Compression. David Insa, Josep Silva, César Tomás |
| 2012 | Galliwasp: A Goal-Directed Answer Set Solver. Kyle Marple, Gopal Gupta |
| 2012 | Improving Determinization of Grammar Programs for Program Inversion. Minami Niwa, Naoki Nishida, Masahiko Sakai |
| 2012 | Program Analysis and Manipulation to Reproduce Learners' Erroneous Reasoning. Claus Zinn |
| 2012 | Proving Properties of Co-logic Programs with Negation by Program Transformations. Hirohisa Seki |
| 2012 | Semantic Code Clones in Logic Programs. Celine Dandois, Wim Vanhoof |
| 2012 | Simplifying the Verification of Quantified Array Assertions via Code Transformation. Mohamed Nassim Seghir, Martin Brain |
| 2012 | Specialization with Constrained Generalization for Software Model Checking. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2012 | Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2012 | Types vs. PDGs in Information Flow Analysis. Heiko Mantel, Henning Sudbrock |
| 2012 | XACML 3.0 in Answer Set Programming. Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson |