Narrowing vs. sldresolution (1988)

by Elio Giovanetti Bosco, Corrado Moiso
Venue:Theoretical Computer Science