%0 Journal Article
%A K. Schütte
%T Über die Erfüllbarkeit einer Klasse von logischen Formeln
%J Mathematische Annalen
%D 1935
%P 161-194
%V 110
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1935__110_159718/
%F MAN_1935__110_159718