Ferrante, J., & Rackoff, C. (1979). The computational complexity of logical theories. Springer.
Chicago-Zitierstil (17. Ausg.)Ferrante, Jeanne, und Charles Rackoff. The Computational Complexity of Logical Theories. Berlin [u.a.]: Springer, 1979.
MLA-Zitierstil (9. Ausg.)Ferrante, Jeanne, und Charles Rackoff. The Computational Complexity of Logical Theories. Springer, 1979.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.