(1)
Koenig, S.; Holte, R. The Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA-2002). AIMag 2003, 24, 99.