Jean Goubault. The Complexity of Resource-Bounded First-Order Classical Logic. In Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner, editors, STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings. Volume 775 of Lecture Notes in Computer Science, pages 59-70, Springer, 1994.
Abstract is missing.