@misc{indiciaee33260a23d8e,
  title = {Consistency Checking of Functional Requirements},
  author = {Simone Vuotto},
  year = {2018},
  url = {https://arxiv.org/abs/1804.10486},
  note = {Source identifier: 1804.10486}
}