Seidel, Karen Zu mathematischen Argumentationen eines Experten aus einer semiotischen PerspektiveBeiträge zum Mathematikunterricht 2017 2017: 897–900
Kötzing, Timo; Schirneck, Martin; Seidel, Karen Normal Forms in Semantic Language IdentificationAlgorithmic Learning Theory (ALT) 2017: 493–516
Hölzl, Rupert; Jain, Sanjay; Schlicht, Philipp; Seidel, Karen; Stephan, Frank Automatic Learning from Repetitive TextsAlgorithmic Learning Theory (ALT) 2017: 129–150