Login / Signup

Subgoal Induction.

James H. Morris Jr.Ben Wegbreit
Published in: Commun. ACM (1977)
Keyphrases