Erich Grädel. Complexity of Formula Classes in First Order Logic with Functions. In János Csirik, János Demetrovics, Ferenc Gécseg, editors, Fundamentals of Computation Theory, International Conference FCT 89, Szeged, Hungary, August 21-25, 1989, Proceedings. Volume 380 of Lecture Notes in Computer Science, pages 224-233, Springer, 1989.
Abstract is missing.