%0 Journal Article %1 journals/apal/EiterGG96 %A Eiter, Thomas %A Gottlob, Georg %A Gurevich, Yuri %D 1996 %J Ann. Pure Appl. Logic %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 = {2011-07-01T00:00:00.000+0200}, author = {Eiter, Thomas and Gottlob, Georg and Gurevich, Yuri}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/233b8df53d39433e0761cc870a7ad7bb2/dblp}, ee = {http://dx.doi.org/10.1016/0168-0072(95)00033-X}, interhash = {17303d52792f742002402aa279beb6f8}, intrahash = {33b8df53d39433e0761cc870a7ad7bb2}, journal = {Ann. Pure Appl. Logic}, keywords = {dblp}, number = {1-3}, pages = {111-125}, timestamp = {2016-02-02T01:50:37.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 }