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
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