A Structure-Preserving Clause Form Translation

David A. Plaisted, Steven Greenbaum. A Structure-Preserving Clause Form Translation. Journal of Symbolic Computation, 2(3):293-304, 1986.

Abstract

Abstract is missing.