A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems - Olarte, Carlos; Pimentel, Elaine; Rocha, Camilo (Journal of logical and algebraic methods in programming, 2023)
Keywords: Computer Science; Proof theory; Rewriting logic; Sequent systems; Symbolic Computation; Sequent systems; Rewriting logic; Proof theory