@article{GJS24b,
  author={Gavanelli, M. and Juli\'{a}n-Iranzo, P. and S\'{a}enz-P\'{e}rez, F.},
  year = {2024},
  title = {{An efficient propositional system for Abductive Logic Programming},
  volume = {57},
  number = {334},
  journal = {{Journal on Artificial Intelligence Review}},
  doi = {10.1007/s10462-024-10928-7},
  editorial = {Springer},
}