A structure-preserving clause form translation. (1986)

by David A Plaisted, Steven Greenbaum
Venue:Journal of Symbolic Computation,