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