On the Fixed-Point Semantics of Horn Clauses with Infinite Terms.

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi

Browse the full ICLP paper archive.