Raf Venken Bart Demoen A Partial Evaluation System for Prolog: some Practical Considerations. 279-290 1988 6 New Generation Comput. 2&3 db/journals/ngc/ngc6.html#VenkenD88