A Framework for Automatic Problem Decomposition in Planning. - Qiang Yang 001; Shuo Bai; Guiyou Qiu (AIPS, 1994)