A data structure for arc insertion and regular path finding Adam L. BuchsbaumParis C. KanellakisJeffrey Scott Vitter OriginalPaper Pages: 187 - 210
The input/output complexity of transitive closure Jeffrey D. UllmanMihalis Yannakakis OriginalPaper Pages: 331 - 360
Deriving constraints among argument sizes in logic programs Allen Van Gelder OriginalPaper Pages: 361 - 392
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? R. J. WieringaH. WeigandF. P. M. Dignum OriginalPaper Pages: 393 - 428
Circumscriptive semantics for updating knowledge bases Marianne Winslett OriginalPaper Pages: 429 - 450