@inproceedings{JS25a,
  title     = {{Implementing Hypothetical Bousi~Prolog with support for a Constraint-based Unification Algorithm}},
  author    = {Juli\'{a}n-Iranzo, P. and Saenz-Perez, F.},
  url       = {https://hdl.handle.net/11705/PROLE/2025/4},
  crossref  = {11705:PROLE:2025}
}

@proceedings{11705:PROLE:2025,
  title     = {{Actas de las XXIV Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2025)}},
  author    = {Pino, E.},
  year      = {2025},
  publisher = {{Sistedes}},
}