A fixpoint semantics for guarded horn clauses - Palamidessi, Catuscia (1988)