Bulitko, V. and Beck, J.C. 2010. SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation. AI Magazine. 31, 2 (Jun. 2010), 95. DOI:https://doi.org/10.1609/aimag.v31i2.2292.