Dynamic Derivations for Sequent-Based Deductive Argumentation

TitleDynamic Derivations for Sequent-Based Deductive Argumentation
Publication TypeConference Proceedings
AuthorsStra├čer, C, Arieli, O
EditorParsons, S, Oren, N, Reed, C, Cerutti, F