@inproceedings{2023-duran-trlsp-c.bib,
   title={{Towards a Rewriting-Logic Semantics of P}},
   author={Dur\'{a}n, F. and Pozas Garc\'{i}a, N. and Ram\'{i}rez, C. and Rocha, C.},
   url={https://hdl.handle.net/11705/PROLE/2023/5681},
   crossref={11705:PROLE:2023}
 }

 @proceedings{11705:PROLE:2023,
   title={{Actas de las XXII Jornadas sobre Programaci\'{o}n y Lenguajes (PROLE 2023)}},
   editor={Panizo, L.},
   year={2023},
   publisher={Sistedes},
 }