1 expert in "deductive databases" found: