Inductive expansion: A calculus for verifying and synthesizing functional and logic programs Peter Padawitz OriginalPaper Pages: 27 - 103
The problem of finding a restriction strategy more effective than the set of support strategy Larry Wos Basic Research Problems Pages: 105 - 107
Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm Matt Kaufmann Problem Corner Pages: 109 - 158