TY  - RPRT
TI  - A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
AU  - Carlos Olarte
AU  - Elaine Pimentel
AU  - Camilo Rocha
PY  - 2021
UR  - https://arxiv.org/abs/2101.03113
ID  - 2101.03113
ER  -