Logic programming : 25th international conference, ICLP 2009, Pasadena, Ca, USA, July 14-17, 2009: proceedings / ed. P. Hill, 2009 r=on-line. - Текст : электронный.
Logic based program synthesis and transformation : 15th International symposium, LOPSTR 2005, London, UK, September 7-9, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.