Dietlinde Lau Ein neuer Beweis für Rosenberg's Vollständigkeitskriterium. 149-195 1992 28 Elektronische Informationsverarbeitung und Kybernetik 4 db/journals/eik/eik28.html#Lau92a