GLINDA: Automated Reasoning for Application of Clinical Guidelines BMIR Research-in-Progress Presentation Csongor Nyulas Samson Tu.