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