@misc{indiciaef4e8f9e83d01,
  title = {\{dasasap\}, an App for Syllogisms},
  author = {José Martín Castro-Manzano and Verónica Reyes-Meza and Jorge Medina-Delgadillo},
  year = {2015},
  url = {https://arxiv.org/abs/1507.03664},
  note = {Source identifier: 1507.03664}
}