diff --git a/papers/smt-lib-reference-v2.7-draft-24.07.11.pdf b/papers/smt-lib-reference-v2.7-draft-24.07.11.pdf
deleted file mode 100644
index 90c4780..0000000
Binary files a/papers/smt-lib-reference-v2.7-draft-24.07.11.pdf and /dev/null differ
diff --git a/papers/smt-lib-reference-v2.7-draft-24.09.09.pdf b/papers/smt-lib-reference-v2.7-draft-24.09.09.pdf
new file mode 100644
index 0000000..0192362
Binary files /dev/null and b/papers/smt-lib-reference-v2.7-draft-24.09.09.pdf differ
diff --git a/papers/smt-lib-reference-v2.7-draft.pdf b/papers/smt-lib-reference-v2.7-draft.pdf
new file mode 120000
index 0000000..a1b2413
--- /dev/null
+++ b/papers/smt-lib-reference-v2.7-draft.pdf
@@ -0,0 +1 @@
+smt-lib-reference-v2.7-draft-24.09.09.pdf
\ No newline at end of file