A Structure-Preserving Clause Form Translation (1986)

by D Plaisted, S Greenbaum
Venue:Journal of Symbolic Computation