@inproceedings{DKreutzer08,
  title = "On Datalog vs. LFP",
  author = "Anuj Dawar and Stephan Kreutzer",
  year = "2008",
  booktitle = "35th International Colloquium on Automata, Languages and Programming (ICALP)",
  journal = "35th International Colloquium on Automata, Languages and Programming (ICALP)",
  url = "http://www.comlab.ox.ac.uk/people/stephan.kreutzer/Publications/08-icalp.pdf",
}