Displaying similar documents to “Über die Erfüllbarkeit einer Klasse von logischen Formeln”