@article{705382,
      note = {International conference proceedings.},
      author = {Codish, Michael, and Sumii, Eijiro,},
      url = {http://library.usi.edu/record/705382},
      title = {Functional and logic programming 12th International  Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 :  proceedings / [electronic resource] :. Fuji International  Symposium on Functional and Logic Programming},
      publisher = {Springer,},
      recid = {705382},
      pages = {1 online resource (xvi, 352 pages) :},
      address = {Cham :},
      year = {2014},
}