TY  - RPRT
TI  - A system of relational syllogistic incorporating full Boolean reasoning
AU  - Nikolay Ivanov
AU  - Dimiter Vakarelov
PY  - 2013
DO  - 10.1007/s10849-012-9165-1
UR  - https://arxiv.org/abs/1102.4496
ID  - 1102.4496
ER  -