Choueiry, Berthe Y., and Toby Walsh. “Symposium on Abstraction, Reformulation, and Approximation (SARA-2000)”. AI Magazine 22, no. 1 (March 15, 2001): 137. Accessed April 19, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1553.