Choueiry, B. Y., & Walsh, T. (2001). Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Magazine, 22(1), 137. https://doi.org/10.1609/aimag.v22i1.1553