Herbert F. Heltzig Eberhard Oberst Vergleich Boolescher Funktionen. 61-65 1973 9 Elektronische Informationsverarbeitung und Kybernetik 1/2 db/journals/eik/eik9.html#HeltzigO73