V. Bulitko and J. C. Beck, “SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation”, AIMag, vol. 31, no. 2, p. 95, Jun. 2010.