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