Narrowing vs. SLD-resolution (1988)

by P G Bosco, E Giovannetti, C Moiso
Venue:Theoretical Computer Science