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: De Schreye, D Bruynooghe, M Demoen, B Denecker, M Janssens, G Martens, B

Citation: D. De Schreye et al., Project report on LP+: a second generation Logic Programming language, AI COMMUN, 13(1), 2000, pp. 13-18

Authors: De Schreye, D Gluck, R Jorgensen, J Leuschel, M Martens, B Sorensen, MH

Citation: D. De Schreye et al., Conjunctive partial deduction: foundations, control, algorithms and experiments (vol 41, pg 231, 1999), J LOGIC PR, 43(3), 2000, pp. 265-265

Authors: De Schreye, D Gluck, R Jorgensen, J Leuschel, M Martens, B Sorensen, MH

Citation: D. De Schreye et al., Conjunctive partial deduction: foundations, control, algorithms, and experiments, J LOGIC PR, 41(2-3), 1999, pp. 231-277

Authors: Decorte, S De Schreye, D Vandecasteele, H

Citation: S. Decorte et al., Constraint-based termination analysis of logic programs, ACM T PROGR, 21(6), 1999, pp. 1137-1195