Marco Pistore Moshe Y. Vardi The Planning Spectrum - One, Two, Three, Infinity. 101-132 2007 30 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper1909.html db/journals/jair/jair30.html#PistoreV07