D. Battefeld and S. Kopp, “Formalizing cognitive biases in medical diagnostic reasoning,” presented at the Presented at the 8th Workshop on Formal and Cognitive Reasoning (FCR), Trier, 2022.