Bulitko, V.; Beck, J. C. SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation. AIMag 2010, 31, 95.