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