A Problem-Decomposition Method Using Differences or Equivalence Relations Between States.

Seizaburo Niizuma Tadahiro Kitahashi A Problem-Decomposition Method Using Differences or Equivalence Relations Between States. 117-151 1985 25 Artif. Intell. 2 db/journals/ai/ai25.html#NiizumaK85