%0 Journal Article
%A Martin Wirsing
%T Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten.
%J Manuscripta mathematica
%D 1977
%P 13-26
%V 22
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM2_1977__22_154477/
%F MM2_1977__22_154477