@misc{indiciae832fdb3e44de,
  title = {Methods to Expand Cell Signaling Models using Automated Reading and Model Checking},
  author = {Kai-Wen Liang and Qinsi Wang and Cheryl Telmer and Divyaa Ravichandran and Peter Spirtes and Natasa Miskov-Zivanov},
  year = {2017},
  url = {https://arxiv.org/abs/1706.05094},
  note = {Source identifier: 1706.05094}
}