Eli Appleboim Emil Saucan Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification http://arxiv.org/abs/cs.SC/0309008 2003 CoRR cs.SC/0309008 db/journals/corr/corr0309.html#cs-SC-0309008 informal publication