Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007: proceedings / ed. M. Hanus, 2007 r=on-line. - Текст : электронный.
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008: revised selected papers / ed. M. Hanus, 2009 r=on-line. - Текст : электронный.