Dynamic maintenance of the transitive closure in disjunctive graphs Jorge LoboQi YangTracy Pham OriginalPaper Pages: 151 - 176
Term matching on a mesh-connected array of processors Arthur L. DelcherSimon Kasif OriginalPaper Pages: 177 - 186
Nonrecursive incremental evaluation of Datalog queries Guozhu DongJianwen SuRodney Topor OriginalPaper Pages: 187 - 223
Near-Horn Prolog and the ancestry family of procedures David W. ReedDonald W. Loveland OriginalPaper Pages: 225 - 249
Reasoning about time in the situation calculus Javier PintoRaymond Reiter OriginalPaper Pages: 251 - 268
DWAM — A WAM model extension for disjunctive logic programming A. RajasekarH. Yusuf OriginalPaper Pages: 275 - 308
Static semantics for normal and disjunctive logic programs Teodor C. Przymusinski OriginalPaper Pages: 323 - 357