Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa (Paperback, 2014)
Practical Aspects of Declarative Languages: First International Workshop, Padl'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings (Paperback, 1998)
Logic Programming and Nonmonotonic Reasoning: 17th International Conference, Lpnmr 2024, Dallas, Tx, Usa, October 11-14, 2024, Proceedings (Paperback, 2024)