%0 Journal Article %1 journals/apal/EiterGG96 %A Eiter, Thomas %A Gottlob, Georg %A Gurevich, Yuri %D 1996 %J Ann. Pure Appl. Log. %K dblp %N 1-3 %P 111-125 %T Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems. %U http://dblp.uni-trier.de/db/journals/apal/apal78.html#EiterGG96 %V 78

@article{journals/apal/EiterGG96, added-at = {2020-02-21T00:00:00.000+0100}, author = {Eiter, Thomas and Gottlob, Georg and Gurevich, Yuri}, biburl = {https://www.bibsonomy.org/bibtex/2d1cbf5514bdaf7fb132960147f665232/dblp}, ee = {https://doi.org/10.1016/0168-0072(95)00033-X}, interhash = {17303d52792f742002402aa279beb6f8}, intrahash = {d1cbf5514bdaf7fb132960147f665232}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-3}, pages = {111-125}, timestamp = {2020-02-22T12:47:11.000+0100}, title = {Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal78.html#EiterGG96}, volume = 78, year = 1996 }