APA način citiranja (7. izdanje)
Holldobler, S. (2018). An abstract dual propositional model counter. CEUR-WS.
Čikaški stil citiranja (17. izdanje)Holldobler, S. An Abstract Dual Propositional Model Counter. CEUR-WS, 2018.
MLA način citiranja (8. izdanje)Holldobler, S. An Abstract Dual Propositional Model Counter. CEUR-WS, 2018.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.