A User Interface for the Exploration of Manually and Automatically Coded Scientific Reasoning and Argumentation. - Patrick Lerner; Andras Csanadi; Johannes Daxenberger; Lucie Flekova; Christian Ghanem; Ingo Kollar; Frank Fischer 001; Iryna Gurevych (ICLS, 2016)