%A D. De\ Schreye
%A M. Bruynooghe
%T On the transformation of logic programs
with instantiation based computation rules
%R CW 55
%I Katholieke Universiteit Leuven, Department of Computer Science
%C Leuven, Belgium
%D May 1987
%P 32+figures