Obtaining specialised update procedures through partial deduction of the ground representation (1995)

by M Leuschel, B Martens
Venue:Proceedings of the ICLP'95 Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge Based Systems, GMD-Studien Nr. 266