@Article{Laurent10,
  author  = {Olivier Laurent},
  title   = {Game semantics for first-order logic},
  journal = {Logical Methods in Computer Science},
  volume  = {6},
  number  = {4},
  pages   = {3},
  month   = oct,
  year    = {2010}
}