%0 Journal Article
%A Bílková, Marta
%T Monotone sequent calculus and resolution
%J Commentationes Mathematicae Universitatis Carolinae
%D 2001
%P 575-582
%V 42
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_2001__42_3_a15/
%G en
%F CMUC_2001__42_3_a15