@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/