Title: Meta-level control for deductive database systems
Subjects: Database management, Deductive databases