Safety of Recursive Horn Clauses With Infinite Relations.

Raghu Ramakrishnan, Franois Bancilhon, Abraham Silberschatz

Browse the full PODS paper archive.