Ruhr-Universität Bochum. Arbeitsgruppe Nicht-Monotone Logik und Formale Argumentationstheorie ^{Körperschaft}