"The Undecidability of Monadic Modal Quantification Theory", "Zeitschrift für Mathematische Logik und Grundlagen der Mathematik" 8:113–116* 1963.
«The Undecidability of Monadic Modal Quantification Theory», "Zeitschrift für Mathematische Logik und Grundlagen der Mathematik" 8:113-116* 1963.