Choueiry BY, Walsh T. Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AIMag [Internet]. 2001Mar.15 [cited 2024Apr.20];22(1):137. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1553