Peter Padawitz Inductive Expansion: A Calculus for Verifying and Synthesizing Functional and Logic Programs. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1991, v:7, n:1, pp:27-103 [Journal]
Larry Wos The Problem of Finding a Restriction Strategy More Effective Than the Set of Support Strategy. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1991, v:7, n:1, pp:105-107 [Journal]
Matt Kaufmann Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1991, v:7, n:1, pp:109-158 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP