@article{MM2_1977__22_154477, author = {Martin Wirsing}, title = {Das {Entscheidungsproblem} der {Klasse} von {Formeln,} die h\"ochstens zwei {Primformeln} enthalten.}, journal = {Manuscripta mathematica}, pages = {13--26}, publisher = {mathdoc}, volume = {22}, year = {1977}, zbl = {0365.02035}, url = {http://geodesic.mathdoc.fr/item/MM2_1977__22_154477/} }