CWI
Department of Computer Science [CS] ; CS-R 9019
Computational models

de Boer, F.S, Kok, J.N, Palamidessi, C, & Rutten, J.J.M.M. (1990). From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic. Department of Computer Science [CS]. CWI.