website/content/paper/2602.01.md

draft	title	authors	date	publish_date	conference	isbn	doi	volume	firstpage	lastpage	language	pdf_url	abstract
false	VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property	Brandon Rozek Andrew Tedder	2026-02-09	2026/02/09	Journal of Logic, Language, and Information		10.1007/s10849-026-09454-2	2026	1	20	English	https://link.springer.com/content/pdf/10.1007/s10849-026-09454-2.pdf	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.