Coinductive semantics of Horn Clauses with compact constraint - Mukai, Kuniaki (1990)