Martin Weese: Entscheidbarkeit in Speziellen Uniformen Strukturen Bezüglich Sprachen Mit Mächtigkeitsquantoren. Math. Log. Q. 22(1): 215-230 (1976)