Allen Van Gelder Fumiaki Okushi A propositional theorem prover to solve planning and other problems. 87-112 1999 26 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai26.html#GelderO99