| 2010 | Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers Danny De Schreye |
| 2009 | A Transformational Approach for Proving Properties of the CHR Constraint Store. Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe |
| 2009 | Coinductive Logic Programming with Negation. Richard Min, Gopal Gupta |
| 2009 | Deciding Full Branching Time Logic by Program Transformation. Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2009 | Defining Datalog in Rewriting Logic. María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |
| 2009 | Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. José Iborra, Naoki Nishida, Germán Vidal |
| 2009 | LP with Flexible Grouping and Aggregates Using Modes. Marcin Czenko, Sandro Etalle |
| 2009 | On Inductive and Coinductive Proofs via Unfold/Fold Transformations. Hirohisa Seki |
| 2009 | Program Parallelization Using Synchronized Pipelining. Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo |
| 2009 | Refining Exceptions in Four-Valued Logic. Susumu Nishimura |
| 2009 | The Dependency Triple Framework for Termination of Logic Programs. Peter Schneider-Kamp, Jürgen Giesl, Manh Thang Nguyen |
| 2009 | Towards Just-In-Time Partial Evaluation of Prolog. Carl Friedrich Bolz, Michael Leuschel, Armin Rigo |
| 2009 | Towards Scalable Partial Evaluation of Declarative Programs. Germán Vidal |
| 2009 | Towards a Framework for Constraint-Based Test Case Generation. François Degrave, Tom Schrijvers, Wim Vanhoof |
| 2009 | Using Rewrite Strategies for Testing BUpL Agents. Lacramioara Astefanoaei, Frank S. de Boer, M. Birna van Riemsdijk |