Add publications sections to docs and README.md

filipeom · filipeom · commit 4dc332edcb13 · 2025-12-22T11:47:43.000Z
diff --git a/README.md b/README.md
@@ -251,6 +251,12 @@ is named `smtml` and can be imported into OCaml projects by:
   (libraries smtml))
 ```
 
+### Publications
+
+- _Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml._ João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait-El-Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimović, Nuno Santos, and José Fragoso Santos. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'26). \[[pdf]\]
+
+[pdf]: https://joaomhmpereira.github.io/assets/pdf/smtml.pdf
+
 ### Changelog
 
 See [CHANGES]
diff --git a/docs/index.mld b/docs/index.mld
@@ -167,6 +167,11 @@ Track solver performance:
 Explore comprehensive usage scenarios:
 - {{!examples}Optimizer} - Using optimizers
 
+{1 Publications}
+
+Explore the publications related to Smt.ml:
+- {i Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml}. João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait-El-Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimović, Nuno Santos, and José Fragoso Santos. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'26). [{{:https://joaomhmpereira.github.io/assets/pdf/smtml.pdf}pdf}]
+
 {1:contrib Contributing}
 
 Smtml is open source! Report issues and contribute at:
