@INPROCEEDINGS{VanGelder-SAT06,
        Author = "Van Gelder, Allen",
        Title = "Preliminary Report on Input Cover Number as
		a Metric for Propositional Resolution Proofs",
        BOOKTITLE = "Theory and Applications of Satisfiability Testing,
		(SAT), LNCS 4121",
        PAGES = "48--53",
        ADDRESS = "Seattle, WA",
        YEAR = "2006"
        }