The complexity of resource-bounded first-order classical logic (1994)

by Jean Goubault
Venue:11th Symposium on Theoretical Aspects of Computer Science