@article{gabbay_ghica_2012, 
  title={Game Semantics in the Nominal Model}, 
  volume={286}, 
  DOI={10.1016/j.entcs.2012.08.012}, 
  publisher={Elsevier BV}, 
  author={Gabbay and Ghica}, 
  year={2012}
  }