Catuscia Palamidessi. Encoding transition systems in sequent calculus (0)

by Raymond McDowell, Dale Miller
Venue:Theoretical Computer Science