@inproceedings{conf/cade/Gottlob04,
  title = "Second-Order Logic over Finite Structures - Report on a Research Programme",
  author = "Georg Gottlob",
  year = "2004",
  booktitle = "{Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}",
  editor = "David A. Basin and Micha{\"e}l Rusinowitch",
  isbn = "3-540-22345-2",
  pages = "229-243",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3097{\&}spage=229",
  volume = "3097",
}