@article{GDZPPN002277166, title = {\"Uber die Erf\"ullbarkeit einer Klasse von logischen Formeln}, journal = {Mathematische Annalen}, volume = {111}, year = {1935}, pages = {161-194}, zbl = {0009.33704}, url = {http://dml.mathdoc.fr/item/GDZPPN002277166} }
Schütte, K. Über die Erfüllbarkeit einer Klasse von logischen Formeln. Mathematische Annalen, Tome 111 (1935) pp. 161-194. http://gdmltest.u-ga.fr/item/GDZPPN002277166/