@INPROCEEDINGS{VG01-lics-sat,
	Author = "Van Gelder, Allen",
	Title = "Combining Preorder and Postorder Resolution
		in a Satisfiability Solver",
	BOOKTITLE = "IEEE/ASL LICS Satisfiability Workshop",
	PUBLISHER = "",
	ADDRESS = "Boston",
	PAGES = "",
	YEAR = "2001"
	}