Performing Inferences over Recursive Data Bases.

Shamim A. Naqvi, Lawrence J. Henschen

Browse the full AAAI paper archive.