The Use of Assertion-Time Inference in Logic-Based Knowledge Bases. - Bernie Elfrink; Han Reichgelt (ECAI, 1988)