Online Logic-Based Program Synthesis And Transformation: 16Th International Symposium, Lopstr 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers