Meta-level control for deductive database systems - Schmidt, Helmut, 1962- (Lecture notes in computer science, 1991)