@article{756468,
      note = {International conference proceedings.},
      author = {Kohlhase, Michael, and Johansson, Moa, and Miller, Bruce,  and Moura, Leonardo de, and Tompa, Frank,},
      url = {http://library.usi.edu/record/756468},
      title = {Intelligent computer mathematics 9th International  Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016.  Proceedings / [electronic resource] :. CICM (Conference)},
      recid = {756468},
      pages = {1 online resource (xv, 384 pages) :},
}