@misc{indiciae4b872c95dc9d,
  title = {An automatic tool for checking multi-party contracts},
  author = {Adilson Luiz Bonifacio and Wellington Aparecido Della Mura},
  year = {2018},
  url = {https://arxiv.org/abs/1809.01103},
  note = {Source identifier: 1809.01103}
}