[1]
B. Y. Choueiry and T. Walsh, “Symposium on Abstraction, Reformulation, and Approximation (SARA-2000)”, AIMag, vol. 22, no. 1, p. 137, Mar. 2001.