Important Links
Machine generated authority record.
Work cat.: (OSt): Das, Subrata Kumar, Deductive databases and logic programming, 1992.