Gazing: An approach to the problem of definition and lemma use Dave Barker-Plummer OriginalPaper Pages: 311 - 344
Stable and extension class theory for logic programs and default logics Chitta R. BaralV. S. Subrahmanian OriginalPaper Pages: 345 - 366
Comparing parameter schemes for propositional reasoning: An empirical study Robert J. Hall OriginalPaper Pages: 367 - 394
Automatically identifying the asymptotic behavior of nonlinear singularly perturbed boundary value problems Mark F. RussoRichard L. Peskin OriginalPaper Pages: 395 - 419