Wrightson, G. (1984). On some semantic tableau proof procedures for modal logic (Als Ms. gedr.). VDI-Verl.
Chicago-Zitierstil (17. Ausg.)Wrightson, Graham. On Some Semantic Tableau Proof Procedures for Modal Logic. Als Ms. gedr. Düsseldorf: VDI-Verl, 1984.
MLA-Zitierstil (9. Ausg.)Wrightson, Graham. On Some Semantic Tableau Proof Procedures for Modal Logic. Als Ms. gedr. VDI-Verl, 1984.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.