Deakstadieđáhus: Meta-level control for deductive database systems / Helmut Schmidt.