Encoding transition systems in sequent calculus (2003)

by R McDowell, D Miller, C Palamidessi
Venue:Theoretical Computer Science