Encoding transition systems in sequent calculus
scientific article; zbMATH DE number 1956198