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