@INPROCEEDINGS{VanGelder-sat2000,
	Author = "Van Gelder, Allen",
	Title = "Lemmas in Propositional Model Search and
			Refutation Search",
	BOOKTITLE = "Third Workshop on the Satisfiability Problem",
	PAGES = "",
	ADDRESS = "Renesse, Netherlands",
	YEAR = "2000"
	}