@ARTICLE{VanGelderOkushi98-AMAI-Planning,
  author = 	 "Van Gelder, Allen and Fumiaki Okushi",
  title = 	 "A Propositional Theorem Prover to Solve Planning
			and Other Problems",
  journal =	"Annals of Mathematics and Artificial Intelligence",
  volume =	"26",
  number =	"1--4",
  pages = 	"87--112",
  year =	 1999
}