Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings - Jean-Daniel Zucker, Lorenza Saitta ((Lecture Notes in Computer Science))