Experiments with proof plans for induction Alan BundyFrank van HarmelenAlan Smaill OriginalPaper Pages: 303 - 324
Compiling bottom-up and mixed derivations into top-down executable logic programs Danny De SchreyeBern MartensMaurice Bruynooghe OriginalPaper Pages: 337 - 358
Pattern-directed invocation with changing equations Yishai A. FeldmanCharles Rich OriginalPaper Pages: 403 - 433
The problem of choosing the type of subsumption to use Larry Wos Basic Research Problems Pages: 435 - 438
Proving Matijasevich's lemma with a default arithmetic strategy Matthew Wilding Problem Corner Pages: 439 - 446