diff --git a/content/paper/2504.01.md b/content/paper/2504.01.md
new file mode 100644
index 0000000..62159e2
--- /dev/null
+++ b/content/paper/2504.01.md
@@ -0,0 +1,24 @@
+---
+draft: false
+title: "A Modal Logic of Optimality (Student Abstract) "
+authors: [
+    "James T. Oswald",
+    "Brandon Rozek",
+    "Thomas Macaulay Ferguson",
+    "Selmer Bringsjord"
+]
+date: 2025-04-11
+publish_date: "2025/04/11"
+conference: "AAAI Conference on Artificial Intelligence"
+
+
+isbn: ""
+doi: "10.1609/aaai.v39i28.35286"
+volume: 39
+firstpage: 29456
+lastpage: 29458
+language: "English"
+
+pdf_url: "https://ojs.aaai.org/index.php/AAAI/article/view/35286/37441"
+abstract: "We present our work on a new modal logic of optimality, OPT, whose semantics are modeled in terms of optimal paths through reward-weighted transition systems. We prove some basic properties of OPT, including its status as a normal modal logic, as well as its relation to some of the standard modal axioms. We end with a discussion of applications to AI and future research directions and extensions."
+---
\ No newline at end of file
diff --git a/content/paper/2602.01.md b/content/paper/2602.01.md
new file mode 100644
index 0000000..5533b11
--- /dev/null
+++ b/content/paper/2602.01.md
@@ -0,0 +1,22 @@
+---
+draft: false
+title: "VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property"
+authors: [
+    "Brandon Rozek",
+    "Andrew Tedder"
+]
+date: 2026-02-09
+publish_date: "2026/02/09"
+conference: "Journal of Logic, Language, and Information"
+
+
+isbn: ""
+doi: "10.1007/s10849-026-09454-2"
+volume: 2026
+firstpage: 1
+lastpage: 20
+language: "English"
+
+pdf_url: "https://link.springer.com/content/pdf/10.1007/s10849-026-09454-2.pdf"
+abstract: "We introduce VSPursuer, an automated reasoning tool that analyses matrices generated by Slaney’s MaGIC. The tool searches these matrices for a target logic to find one that witnesses the logic’s satisfaction of the Variable Sharing Property. We describe the theoretical background behind VSPursuer and highlight optimisations that enable our tool to determine whether a given matrix witnesses the property in polynomial time. We then give some example data sets for particular relevant logics, a theoretical analysis on the sizes of matrices generated by MaGIC which do not witness variable sharing, and close with an appendix explaining how to install and use VSPursuer."
+---
\ No newline at end of file
diff --git a/content/publications.md b/content/publications.md
index f14eafe..ee0d146 100644
--- a/content/publications.md
+++ b/content/publications.md
@@ -13,12 +13,13 @@ Filtering Goals of Necessity-Optimal Agents in Qualitative Possibilistic Recogni
 - Venue: International Conference on Agents and Artificial Inteligence, 2026.
 
 
-VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property
+[VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property](/paper/2602.01)
 - Authors: *Brandon Rozek* and Andrew Tedder
-- Venue: Journal of Logic, Language, and Information, Forthcoming.
+- Venue: Journal of Logic, Language, and Information, 2026.
+- [Paper](https://link.springer.com/article/10.1007/s10849-026-09454-2) | [Codebase](https://github.com/brandon-rozek/vspursuer)
 
 
-A Modal Logic of Optimality (Student Abstract)
+[A Modal Logic of Optimality (Student Abstract)](/paper/2504.01)
 - Authors: James T. Oswald, *Brandon Rozek*, Thomas M. Ferguson, Selmer Bringsjord
 - Venue: AAAI Conference on Artificial Intelligence, 2025.
 - [Paper](https://ojs.aaai.org/index.php/AAAI/article/view/35286/37441)