Previous: [4], Up: Bibliography
B. Demoen and K. Sagonas, CAT: the copying approach to tabling, submitted for publication, Katholieke Universiteit Leuven, 1998.