@misc{indiciaea7d3bf5d65ab,
  title = {PUC-Logic},
  author = {R. Q. A Fernandes and E. H. Haeusler and L. C. P. D Pereira},
  year = {2014},
  url = {https://arxiv.org/abs/1402.1535},
  note = {Source identifier: 1402.1535}
}