Abstraction, Reformulation, and Approximation by Peter Rathert & S. Koenig