@inproceedings{DanosHerbelinRegnier96,
  author      = {Vincent Danos and Hugo Herbelin and Laurent Regnier},
  title       = {Game Semantics \& Abstract Machines},
  booktitle   = {Proceedings, 11th Annual IEEE Symposium on Logic in 
                 Computer Science (LICS '96), 
                 New Brunswick, New Jersey, 27-30 July 1996},
  pages       = {394--405},
  publisher   = {IEEE Computer Society Press},
  year        = {1996},
}