@phdthesis{Bar07diss,
  title = "Automatic Presentations of Infinite Structures",
  author = "Vince Barany",
  year = "2007",
  school = "RWTH Aachen",
  url = "http://www.logic.rwth-aachen.de/~vbarany/diss.pdf",
}