A.: A computational interpretation of modal proofs (1996)

by S Martini, Masini
Venue:Proof Theory of Modal Logic