Helmut Schmidt Meta-Level Control for Deductive Database Systems Lecture Notes in Computer Science 479 Springer 1991 3-540-53754-6 http://dx.doi.org/10.1007/3-540-53754-6