Magic Sets with Full Sharing
Paulo J Azevedo

In North Holland, editor(s), Journal of Logic Programming, 223-237. March, 1997.