Abstraction, reformulation, and approximation : 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings - Koenig, Sven, 1964- (Springer, 2002)