1. Sequent-based logical argumentation
2. Chapter 3 Description Logics
3. Constructing argument graphs with deductive arguments: a tutorial
4. Kaustuv Chaudhuri. 2006. The focused inverse method for linear logic. Technical report CMU-CS-06-162.
5. Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger. 2016. Modular focused proof systems for intuitionistic modal logics. In 1st International Conference on Formal Structures for Computation and Deduction. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.