APA-viite (7. p.)

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.