Carlos Olarte, Elaine Pimentel, Camilo Rocha. A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. J. Log. Algebr. Meth. Program., 130:100827, 2023. [doi]
@article{OlartePR23, title = {A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems}, author = {Carlos Olarte and Elaine Pimentel and Camilo Rocha}, year = {2023}, doi = {10.1016/j.jlamp.2022.100827}, url = {https://doi.org/10.1016/j.jlamp.2022.100827}, researchr = {https://researchr.org/publication/OlartePR23}, cites = {0}, citedby = {0}, journal = {J. Log. Algebr. Meth. Program.}, volume = {130}, pages = {100827}, }