@article{GDZPPN00222044X,
title = {Das Entscheidungsproblem der Klasse von Formeln, die h\"ochstens zwei Primformeln enthalten.},
journal = {Manuscripta mathematica},
volume = {22},
year = {1977},
pages = {13-26},
zbl = {0365.02035},
url = {http://dml.mathdoc.fr/item/GDZPPN00222044X}
}
Wirsing, Martin. Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten.. Manuscripta mathematica, Tome 22 (1977) pp. 13-26. http://gdmltest.u-ga.fr/item/GDZPPN00222044X/