N. S. Kumar and R. Singh, “AS-Logic: Computing the Tipping Point in Asymptomatic Severe Aortic Stenosis”, ST, vol. 3, no. 1, Jun. 2026.