APA-ийн эшлэл(7 дахь хэвлэлт)
Harrie Swart. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Harrie Swart. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Berlín, Alemania: Springer.
MLA -ийн эшлэл (9 дэх хэвлэлт)
Harrie Swart. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Springer.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.