%0 Journal Article
%A Mirjana Isaković Ilić
%T Theorem Provers for Substructural Logics
%J Publications de l'Institut Mathématique
%D 2007
%P 55 
%V _N_S_82
%N 96
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.2298/PIM0796055I/
%R 10.2298/PIM0796055I
%G en
%F 10_2298_PIM0796055I