Kuusela, A. (2007). Päättelypuu modaalilogiikan todistusmenetelmänä.
Chicago-viite (17. p.)Kuusela, Antti. Päättelypuu Modaalilogiikan Todistusmenetelmänä. Jyväskylä, 2007.
MLA-viite (9. p.)Kuusela, Antti. Päättelypuu Modaalilogiikan Todistusmenetelmänä. 2007.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.