Logic-based program synthesis and transformation : 16th International symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006: revised selected papers / ed. G. Puebla, 2007 r=on-line. - Текст : электронный.