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