@ARTICLE{VanGelder05-leaner,
  author = 	 "Van Gelder, Allen",
	Title = "Toward Leaner Binary-Clause Reasoning in a
		Satisfiability Solver",
  journal =	"Annals of Mathematics and Artificial Intelligence",
  volume =	"43",
  number =	"1--4",
  pages = 	"239--253",
  NOTE =	"(Preliminary version appeared in SAT02, Cincinnati)",
  year =	 2005
}