SLD-resolution with reflection (1994)

by J Barklund, S Costantini, P Dell'Acqua, G A Lanzarone
Venue:Logic Programming -- Proc. 1994 Intl. Symp., 554--568