@article{891453,
      author = {Liò, Pietro, and Zuliani, Paolo,},
      url = {http://library.usi.edu/record/891453},
      title = {Automated reasoning for systems biology and medicine /},
      recid = {891453},
      pages = {1 online resource},
}