B. Voigt;I. Wegener
Univ. Bielefeld, W. Germany;Univ. of Dartmund, W. Germany
On converting CNF to DNF
Theoretical Computer Science