CHOUEIRY, B. Y.; WALSH, T. Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AI Magazine, v. 22, n. 1, p. 137, 15 Mar. 2001.