@misc{indiciaeeb9fa9e25f67,
  title = {A system of relational syllogistic incorporating full Boolean reasoning},
  author = {Nikolay Ivanov and Dimiter Vakarelov},
  year = {2013},
  doi = {10.1007/s10849-012-9165-1},
  url = {https://arxiv.org/abs/1102.4496},
  note = {Source identifier: 1102.4496}
}