Title: Deductive databases
First published: 1996
Subjects: Deductive databases
LC classification: QA76.9.D3 D13 1996