Bruce Abramson The statistics of state-spaces. 5-20 1990 2 Ann. Math. Artif. Intell. db/journals/amai/amai2.html#Abramson90