Weixiong Zhang Iterative state-space reduction for flexible computation. 109-138 2001 126 Artif. Intell. 1-2 db/journals/ai/ai126.html#Zhang01 http://dx.doi.org/10.1016/S0004-3702(00)00066-7