@inproceedings{AriolaDownenHerbelinNakataSaurin12,
  author      = {Zena M. Ariola and Paul Downen and Hugo Herbelin and Keiko Nakata and Alexis Saurin},
  title       = {Classical call-by-need sequent calculi: The unity of semantic artifacts},
  booktitle   = {Functional and Logic Programming - 11th International Symposium,
                 FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings},
  series      = {Lecture Notes in Computer Science},
  editor      = {Tom Schrijvers and Peter Thiemann},
  publisher   = {Springer},
  volume      = {7294},
  pages       = {32-46},
  year        = {2012},
  isbn        = {978-3-642-29821-9},
  ee          = {http://dx.doi.org/10.1007/978-3-642-29822-6},
}