S. Koenig and R. Holte, “The Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA-2002)”, AIMag, vol. 24, no. 1, p. 99, Mar. 2003.