APA (7th ed.) Citation

Coget, I., & Lozes, É. (2026). HistMSO: A Logic for Reasoning about Consistency Models with MONA.

Chicago Style (17th ed.) Citation

Coget, Isabelle, and Étienne Lozes. HistMSO: A Logic for Reasoning About Consistency Models with MONA. 2026.

MLA (9th ed.) Citation

Coget, Isabelle, and Étienne Lozes. HistMSO: A Logic for Reasoning About Consistency Models with MONA. 2026.

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