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]
No references recorded for this publication.
No citations of this publication recorded.