The Deductive Theory Manager: A Knowledge Based System for Formal Verification. - Ben L. Di Vito; Cristi Garvey; D. Kwong; A. Murray; Jane Solomon; Amy Wu (S&P, 1990)