Encoding Transition Systems in Sequent Calculus (1996)

by Raymond Mcdowell, Dale Miller, Catuscia Palamidessi
Venue:Theoretical Computer Science