@ARTICLE{VanGelderOkushi99-AMAI-Lemmas,
  author = 	 "Van Gelder, Allen and Fumiaki Okushi",
  title = 	 "Lemma and Cut Strategies for Propositional Model Elimination",
  journal =	"Annals of Mathematics and Artificial Intelligence",
  volume =	"26",
  number =	"1--4",
  pages = 	"113--132",
  year =	 1999
}