A Problem-Decomposition Method Using Differences or Equivalence Relations Between States. - Seizaburo Niizuma; Tadahiro Kitahashi (Artif. Intell., 1985)