On the Practical Value of Different Definitional Translations to Normal Form.

Uwe Egly, Thomas Rath

Browse the full CADE paper archive.