Ian Miguel Wheeler Ruml Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings SARA Lecture Notes in Computer Science 4612 Springer 2007 978-3-540-73579-3 db/conf/sara/sara2007.html