Authors: Verbaeten, S De Schreye, D

Citation: S. Verbaeten et D. De Schreye, Termination of simply-moded well-typed logic programs under a tabled execution mechanism, APPL ALG EN, 12(1-2), 2001, pp. 157-196

Authors: Verbaeten, S Denecker, M de Schreye, D

Citation: S. Verbaeten et al., Compositionality of normal open logic programs, J LOGIC PR, 42(3), 2000, pp. 151-183