Kumar, N.S. et al. 2026. AS-Logic: Computing the Tipping Point in Asymptomatic Severe Aortic Stenosis. Synthēsis. 3, 1 (Jun. 2026).