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