Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases.

Lawrence J. Henschen, Shamim A. Naqvi

Browse the full CADE paper archive.