KOENIG, S.; HOLTE, R. The Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA-2002). AI Magazine, v. 24, n. 1, p. 99, 15 Mar. 2003.