Ulrich Zukowski Burkhard Freitag The Deductive Database System LOLA. 376-387 1997 conf/lpnmr/1997 LPNMR db/conf/lpnmr/lpnmr97.html#FreitagZ97