@misc{indiciae87cf64035cb4, title = {Planning for an Efficient Implementation of Hypothetical Bousi\textasciitilde{}Prolog}, author = {Pascual Julián-Iranzo and Fernando Sáenz-Pérez}, year = {2021}, url = {https://arxiv.org/abs/2108.03602}, note = {Source identifier: 2108.03602} }