Dynamic Derivations for Sequent-Based Logical Argumentation.

Ofer Arieli, Christian Straer

Browse the full COMMA paper archive.