A Computational Interpretation of Modal Proofs (1994)

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