Minimisierung logischer Funktionen auf dem ZRA 1, die auch partiell definiert sein können - Rehak, Josef (1966)