| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers | 978-3-642-12591-1 (3-642-12591-3) | 2010 | |
| Logic Programming: The 1999 International Conference | 978-0-262-54104-6 (0-262-54104-1) | 1999 |