On the completeness of naive memoing in Prolog Suzanne Wagner DietrichChangguan Fan Regular Papers Pages: 141 - 162
Consistency-motivated reason maintenance in hypothetical reasoning Abdul SattarRandy Goebel Regular Papers Pages: 163 - 186
An extended variant of atoms loop check for positive logic programs Yi -Dong Shen Regular Papers Pages: 187 - 203
A logic-based integration of active and deductive databases Alvaro A. A. FernandesM. Howard WilliamsNorman W. Paton Regular Papers Pages: 205 - 244