Bulitko, V., and J. C. Beck. “SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation”. AI Magazine, vol. 31, no. 2, June 2010, p. 95, doi:10.1609/aimag.v31i2.2292.