Towards Efficient Partial Evaluation in Logic Programming. - David A. Fuller 001; Sacha A. Bocic; Leopoldo E. Bertossi (New Gener. Comput., 1996)