89 | -- | 131 | Chitta Baral, Jorge Lobo, Jack Minker. Generalized Disjunctive Well-Founded Semantics for Logic Programs |
133 | -- | 162 | Stephen V. Chenoweth, Henry W. Davis. New Approaches for Understanding the Asymptotic Complexity of A Tree Searching |
163 | -- | 189 | Jim Cox, Ken McAloon, Carol Tretkoff. Computational Complexity and Constraint Logic Programming Languages |
191 | -- | 227 | Henry W. Davis, Stephen V. Chenoweth. The Mathematical Modeling of Heuristics |
229 | -- | 263 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. A Theory of Nonmonotonic Rule Systems II |
265 | -- | 277 | Brian G. Patrick, Mohammed Almulla, Monroe M. Newborn. An Upper Bound on the Time Complexity of Iterative-Deepening-A |
279 | -- | 302 | John S. Schlipf. Formalizing a Logic for Logic Programming |
303 | -- | 319 | Pascal Van Hentenryck, Thomas Graf. Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming |
321 | -- | 369 | Larry Wos, William McCune. The Application of Automated Reasoning to Questions in Mathematics and Logic |