External Links

    Journal: Journal of Automated Reasoning

    Volume 22, Issue 1

    1 -- 44Larry Wos, Gail W. Pieper. The Hot List Strategy
    45 -- 63Frieder Stolzenburg. An Algorithm for General Set Unification and Its Complexity
    65 -- 115Peter Madden, Alan Bundy, Alan Smaill. Recursive Program Optimization Through Inductive Synthesis Proof Transformation
    runs on