APA Edition Citation

Ferrante, J., & Rackoff, C. W. (1979). Computational complexity of logical theories.

Chicago Edition Citation

Ferrante, Jeanne, and Charles W. Rackoff. Computational Complexity of Logical Theories. Springer-Verlag, Berlin, 1979.

MLA Edition Citation

Ferrante, Jeanne, and Charles W. Rackoff. Computational Complexity of Logical Theories. 1979.

Warning: These citations may not always be 100% accurate.