| 2011 | Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers María Alpuente |
| 2010 | A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. Germán Vidal |
| 2010 | Abstract Diagnosis of First Order Functional Logic Programs. Giovanni Bacci, Marco Comini |
| 2010 | Analysis of Air Traffic Track Data with the AutoBayes Synthesis System. Johann Schumann, Karen Cate, Alan Lee |
| 2010 | Compositional CLP-Based Test Data Generation for Imperative Languages. Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla |
| 2010 | Dependency Triples for Improving Termination Analysis of Logic Programs with Cut. Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl |
| 2010 | Graph Generation to Statically Represent CSP Processes. Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. Kanako Sakurai, Kenichi Asai |
| 2010 | Non-termination Analysis of Logic Programs Using Types. Dean Voets, Danny De Schreye |
| 2010 | On Inductive Proofs by Extended Unfold/Fold Transformation Rules. Hirohisa Seki |
| 2010 | Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
| 2010 | Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. Jónathan Heras, Vico Pascual, Julio Rubio |
| 2010 | Scaling Up Algorithmic Debugging with Virtual Execution Trees. David Insa, Josep Silva |
| 2010 | The First-Order Nominal Link. Christophe Calvès, Maribel Fernández |
| 2010 | Three Syntactic Theories for Combinatory Graph Reduction. Olivier Danvy, Ian Zerny |
| 2010 | Verification of the Schorr-Waite Algorithm - From Trees to Graphs. Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel |