Formalizing cognitive biases in medical diagnostic reasoning
D. Battefeld, S. Kopp, in: Proceedings of the 8th Workshop on Formal and Cognitive Reasoning, 2022.