David A. Plaisted, Steven Greenbaum. A Structure-Preserving Clause Form Translation. Journal of Symbolic Computation, 2(3):293-304, 1986.
@article{PlaistedG86, title = {A Structure-Preserving Clause Form Translation}, author = {David A. Plaisted and Steven Greenbaum}, year = {1986}, tags = {translation}, researchr = {https://researchr.org/publication/PlaistedG86}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {2}, number = {3}, pages = {293-304}, }