| 2012 | Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers Germán Vidal |
| 2011 | A Declarative Embedding of XQuery in a Functional-Logic Language. Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
| 2011 | A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs |
| 2011 | A Strategy Language for Graph Rewriting. Maribel Fernández, Hélène Kirchner, Olivier Namet |
| 2011 | Analysis of Logic Programs Using Regular Tree Languages - (Extended Abstract). John P. Gallagher |
| 2011 | Automata-Based Computation of Temporal Equilibrium Models. Pedro Cabalar, Stéphane Demri |
| 2011 | Clones in Logic Programs and How to Detect Them. Celine Dandois, Wim Vanhoof |
| 2011 | Dynamic Symbolic Computation for Domain-Specific Language Implementation. Fritz Henglein |
| 2011 | Improved Termination Analysis of CHR Using Self-sustainability Analysis. Paolo Pilozzi, Danny De Schreye |
| 2011 | Marker-Directed Optimization of UnCAL Graph Transformations. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano |
| 2011 | Meta-predicate Semantics. Paulo Moura |
| 2011 | Modular Extensions for Modular (Logic) Languages. José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé |
| 2011 | Probabilistic Termination of CHRiSM Programs. Jon Sneyers, Danny De Schreye |
| 2011 | Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. Hirohisa Seki |
| 2011 | Resource-Driven CLP-Based Test Case Generation. Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas |
| 2011 | Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet |
| 2011 | Using Real Relaxations during Program Specialization. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |