Kumar, N. S.; Singh, R.; Ahmad, M. AS-Logic: Computing the Tipping Point in Asymptomatic Severe Aortic Stenosis. ST 2026, 3.