Relative complexities of first order calculi - Eder, Elmar 1956- (Vieweg, 1992)
Literaturverz. S. 162 - 167