Integrating Reflection into SLD-Resolution.

Published in: ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)