Dr. Pásztorné Varga Katalin: Rekurzív eljárás - Boole-függvénvrendszerek nemredundáns diszjunktiv normálformáit előállító, idő- és memóriaigény szempontjából optimális algoritmus (SZTAKI Tanulmányok 102/1980)
MAGYAR TUDOMÁNYOS AKADÉMIA SZÁMÍTÁSTECHNIKAI ÉS AUTOMATIZÁLÁSI KUTATÓ INTÉZETE Tanulmányok 102/1980. 1 REKURZÍV eljárás Boole-függvényrendszerek nemredundáns diszjunktív normálformáit előállító, idő- és memóriaigény szempontjából optimális algoritmus Írta : DR. PÁSZTORÁÉ VARGA KATALIN