Generalized disjunctive well-founded semantics for logic programs Chitta BaralJorge LoboJack Minker OriginalPaper Pages: 89 - 131
New approaches for understanding the asymptotic complexity of A* tree searching Stephen V. ChenowethHenry W. Davis OriginalPaper Pages: 133 - 162
Computational complexity and constraint logic programming languages Jim CoxKen McAloonCarol Tretkoff OriginalPaper Pages: 163 - 189
The mathematical modeling of heuristics Henry W. DavisStephen V. Chenoweth OriginalPaper Pages: 191 - 227
An upper bound on the time complexity of iterative-deepening-A* Brian G. PatrickMohammed AlmullaMonroe M. Newborn OriginalPaper Pages: 265 - 277
Standard forms for rational linear arithmetic in constraint logic programming Pascal Van HentenryckThomas Graf OriginalPaper Pages: 303 - 319
The application of automated reasoning to questions in mathematics and logic Larry WosWilliam McCune OriginalPaper Pages: 321 - 369