A computational interpretation of modal proofs (1996)

by Simone Martini, Andrea Masini
Venue:Proof theory of Modal Logics