Horn Clauses and the Fixpoint Query Hierarchy.

Ashok K. Chandra, David Harel

Browse the full PODS paper archive.