Reactive model computation: a uniform approach to the implementation of deductive databases. - Ulrike Griefhahn (1997)