Koenig, S. and Holte, R. (2003) “The Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA-2002)”, AI Magazine, 24(1), p. 99. doi: 10.1609/aimag.v24i1.1694.