Alberto Artosi Paola Benassi Guido Governatori Antonino Rotolo Labelled Proofs for Quantified Modal Logic. 70-86 1996 conf/jelia/1996 JELIA db/conf/jelia/jelia96.html#ArtosiBGR96 http://dx.doi.org/10.1007/3-540-61630-6_5