Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten

Browse the full MFCS paper archive.