@inproceedings{11705:PROLE:2024:2,
   title={{An Operational Semantics for an Efficient Abductive Logic Programming System}},
   author={Gavanelli, M. and Juli\'{a}n-Iranzo, P. and Saenz-Perez, F.},
   url={https://hdl.handle.net/11705/PROLE/2024/2},
   crossref={11705:PROLE:2024}
 }

 @proceedings{11705:PROLE:2024,
   title={{Actas de las XXIII Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2024)}},
   editor={Arias, J.},
   year={2024},
   publisher={Sistedes},
 }