Cita APA (7a ed.)
Holldobler, S. (2018). An abstract dual propositional model counter. CEUR-WS.
Cita Chicago Style (17a ed.)Holldobler, S. An Abstract Dual Propositional Model Counter. CEUR-WS, 2018.
Cita MLA (8a ed.)Holldobler, S. An Abstract Dual Propositional Model Counter. CEUR-WS, 2018.
Precaución: Estas citas no son 100% exactas.