Bart Selman Compute-intensive methods in artificial intelligence. 35-38 2000 28 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai28.html#Selman00