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