Towards a Real Horn Clause Language.

Ravi Krishnamurthy, Shamim A. Naqvi

Browse the full VLDB paper archive.