Designing a dynamic integrity constraint checker with nonmonotonic logic. - Sheela Ramanna; James F. Peters; Elizabeth A. Unger; K. W. Glander (COMPSAC, 1990)