1. Entailment: The Logic of Relevance and Necessity, Vol. 1;Anderson,1975
2. K. Broda and M. Finger. KE-tableaux for a fragment of linear logic. In Proceedings of the 4th International Workshop on Analytic Tableaux and Related Methods, Koblenz, May 1995
3. Labelled natural deduction for substructural logics;Broda;Logic Journal of the IGPL,1999
4. The complexity of entailment in propositional multivalued logics;Cadoli;Annals of Mathematics and Artificial Intelligence,1996
5. Approximate belief revision;Chopra;Logic Journal of the IGPL,2001