-H. Schmidt: Meta-Level Control for Deductive Database Systems, Springer-Verlag 1991