Eiter, T., Gottlob, G., & Gurevich, Y. (1996). Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems.
Chicago-viite (17. p.)Eiter, T., G. Gottlob, ja Y. Gurevich. Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems. 1996.
MLA-viite (9. p.)Eiter, T., et al. Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems. 1996.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.