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