diff --git a/README.md b/README.md
index c5794addf0..d95b64c6fe 100644
--- a/README.md
+++ b/README.md
@@ -141,3 +141,5 @@ References
 [6] Hernán Ponce de León, Thomas Haas, Roland Meyer: [**Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)**](https://hernanponcedeleon.github.io/pdfs/svcomp2022.pdf). TACAS 2022.
 
 [7] Thomas Haas, Roland Meyer, Hernán Ponce de León: [**CAAT: Consistency as a Theory**](https://hernanponcedeleon.github.io/pdfs/oopsla2022.pdf). OOSPLA 2022.
+
+[8] Thomas Haas, René Maseli, Roland Meyer, Hernán Ponce de León: [**Static Analysis of Memory Models for SMT Encodings**](https://hernanponcedeleon.github.io/pdfs/oopsla2023.pdf). OOSPLA 2023.