Morris, James H. jun.; Wegbreit, Ben Subgoal induction. (English) Zbl 0349.68007 Commun. ACM 20, 209-222 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 10 Documents MSC: 68N01 General topics in the theory of software 68W99 Algorithms in computer science 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) PDF BibTeX XML Cite \textit{J. H. Morris jun.} and \textit{B. Wegbreit}, Commun. ACM 20, 209--222 (1977; Zbl 0349.68007) Full Text: DOI