Narrowing vs. SLD-Resolution

@article{Bosco1988NarrowingVS,
  title={Narrowing vs. SLD-Resolution},
  author={Pier Giorgio Bosco and Elio Giovannetti and Corrado Moiso},
  journal={Theor. Comput. Sci.},
  year={1988},
  volume={59},
  pages={3-23}
}