1. M. D’Agostino and D. Gabbay. A generalisation of analytic deduction via labelled deductive systems. Part I: Basic substructural Logics. Journal of Automated Reasoning, 13:243–281, 1994
2. K. Broda, A compiled labelled deductive system for propositional intuitionistic logic (full version) available from K. Broda, 1998.
3. K. Broda, M. Finger and A. Russo. Labelled Natural Deduction for Substructural Logics. Accepted, Journal of the International Group for Pure and Applied Logics.
4. K. Broda and A. Russo. A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction. Technical Report 10/97. Department of Computing, Imperial College 1997.
5. C. L. Chang and R. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press 1973.