Reactive model computation a uniform approach to the implementation of deductive databases - Griefahn, Ulrike (1997)