Marta Cialdea Mayer Serenella Cerrito Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. 97-131 2001 69 Studia Logica 1 db/journals/sLogica/sLogica69.html#MayerC01