Citations refer to the original publication, not to a Scieee localized version.
Sanchez-Rivero, J., Talaván, D., Garcia-Alonso, J., Ruiz Cortés, A., & Murillo, J. M. (2025). Automatic generation of efficient oracles: The less-than case. Elsevier. https://doi.org/10.1016/j.jss.2024.112203
Sanchez-Rivero, Javier, et al. Automatic generation of efficient oracles: The less-than case. Elsevier, 2025. https://doi.org/10.1016/j.jss.2024.112203.
Sanchez-Rivero, Javier, Daniel Talaván, Jose Garcia-Alonso, Antonio Ruiz Cortés, and Juan Manuel Murillo. Automatic generation of efficient oracles: The less-than case. Elsevier, 2025. https://doi.org/10.1016/j.jss.2024.112203.
Sanchez-Rivero, J. et al. (2025) Automatic generation of efficient oracles: The less-than case. Elsevier. Available at: https://doi.org/10.1016/j.jss.2024.112203.
J. Sanchez-Rivero, D. Talaván, J. Garcia-Alonso, A. Ruiz Cortés, and J. M. Murillo, “Automatic generation of efficient oracles: The less-than case,” Elsevier, 2025, doi: 10.1016/j.jss.2024.112203.
@misc{sanchezrivero2025automatic,
author = {Sanchez-Rivero, Javier and Talaván, Daniel and Garcia-Alonso, Jose and Ruiz Cortés, Antonio and Murillo, Juan Manuel},
title = {Automatic generation of efficient oracles: The less-than case},
year = {2025},
publisher = {Elsevier},
doi = {10.1016/j.jss.2024.112203},
url = {https://doi.org/10.1016/j.jss.2024.112203}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
