@INPROCEEDINGS{VG02-cfv,
	Author = "Van Gelder, Allen",
	Title = "Decision Procedures Should Be Able to Produce
			(Easily) Checkable Proofs",
	BOOKTITLE = "Workshop on Constraints in Formal Verification",
	PUBLISHER = "",
	ADDRESS = "Ithaca, NY",
	PAGES = "",
	YEAR = "2002",
	NOTE = "(in conjunction with CP02)",
	ANNOTE = "Abstract:
	"
	}