Uwe Egly, Thomas Rath. Practically Useful Variants of Definitional Translations to Normal Form. Inf. Comput., 162(1-2):255-264, 2000.
@article{EglyR00, title = {Practically Useful Variants of Definitional Translations to Normal Form}, author = {Uwe Egly and Thomas Rath}, year = {2000}, tags = {translation}, researchr = {https://researchr.org/publication/EglyR00}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {162}, number = {1-2}, pages = {255-264}, }