The nondeterministic complexity of the fredman and khachiyan algorithm for the dualization of monotone DNFs CTI Technical Report 2001/12/03 - Καββαδίας, Δημήτρης; Σταυρόπουλος, Ηλίας Χ. (CTI, 2001)