(1)
Choueiry, B. Y.; Walsh, T. Symposium on Abstraction, Reformulation, and Approximation (SARA-2000). AIMag 2001, 22, 137.