Meta-level control for deductive database systems - Schmidt, Helmut 1962- (Springer, 1991)