Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. - Tilman Glökler; Jason Baumgartner; Devi Shanmugam; A. E. (Rick) Seigler; Gary A. Van Huben; Barinjato Ramanandray; Hari Mony; Paul Roessler (FMCAD, 2006)