Read Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007,

1