| [1] | Hintikka multiplicities in matrix decision methods for some propositional modal logics (Cerrito, Serenella and Cialdea Mayer, Marta), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1227, 1997. |