Tom Bylander A Probabilistic Analysis of Propositional STRIPS Planning. 241-271 1996 81 Artif. Intell. 1-2 db/journals/ai/ai81.html#Bylander96 http://dx.doi.org/10.1016/0004-3702(95)00055-0