Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective. - Katrine Bjørn Pedersen Thoft; Nina Gierasimczuk (CogSci, 2019)

Learning by Intervention in Simple Causal Domains. - Katrine Bjørn Pedersen Thoft; Nina Gierasimczuk (DaLí, 2023)