“AS-Logic: Computing the Tipping Point in Asymptomatic Severe Aortic Stenosis”. (2026) 2026. Synthēsis 2 (4). https://doi.org/10.66040/4mykv756.