Horn Clauses and the Fixpoint Query Hierarchy (1982)

by A K Chandra, D Harel
Venue:In Proc. of PODS ’82