@inproceedings{DBLP:conf/fossacs/CarraroG14,
  title = "A Semantical and Operational Account of Call-by-Value Solvability",
  author = "Alberto Carraro and Giulio Guerrieri",
  year = "2014",
  booktitle = "Foundations of Software Science and Computation Structures - 17th International Conference, {FOSSACS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings",
  editor = "Anca Muscholl",
  isbn = "978-3-642-54829-1",
  pages = "103--118",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-54830-7",
  volume = "8412",
  doi = "10.1007/978-3-642-54830-7",
}