@article{JS21c,
  title={{Planning for an Efficient Implementation of Hypothetical Bousi~Prolog}},
  author  = {Pascual Juli{\'a}n-Iranzo and Fernando S{\'a}enz-P{\'e}rez},
  journal={Theory and Practice of Logic Programming}, 
  volume={21}, 
  number={5}, 
  pages={680–697}
  publisher={Cambridge University Press}, 
  DOI={10.1017/S1471068421000405}, 
  year={2021}, 
}