An optimal top-down algorithm for evaluating recursive queries - Chen, Yangjun; Härder, Theo 1945- (Univ. Kaiserslautern, Fachbereich Mathematik, 1994)