Skip to content
APA (7th ed.) Citation

Holldobler, S. (2018). An abstract dual propositional model counter. CEUR-WS.

Chicago Style (17th ed.) Citation

Holldobler, S. An Abstract Dual Propositional Model Counter. CEUR-WS, 2018.

MLA (8th ed.) Citation

Holldobler, S. An Abstract Dual Propositional Model Counter. CEUR-WS, 2018.

Warning: These citations may not always be 100% accurate.