Bottom-up query evaluation in extended deductive databases - Brass, Stefan. (Universitat Hannover, 1996)