A computational interpretation of modal proofs (1996)

by S Martini, A Masini
Venue:Proof Theory of Modal Logics