Analysis of the behavior of logic-based computation for deductive databases and default reasoning. - Colin E. Bell; Dae Yong Lee (Decis. Support Syst., 1992)