SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation Conference uri icon