Improving Coq propositional reasoning using a lazy CNF conversion scheme (2009)

by S Lescuyer, S Conchon
Venue:In Proc. of the 7th Int. Conf. on Frontiers of combining systems (FroCoS’09