Normal Form Transformations

Matthias Baaz, Uwe Egly, Alexander Leitsch. Normal Form Transformations. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 273-333, Elsevier and MIT Press, 2001.

Abstract

Abstract is missing.