Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers Hill Patricia M. Heftet / 2006 / Engelsk
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings Hill Patricia M. Heftet / 2009 / Engelsk
