TY  - RPRT
TI  - A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)
AU  - Domenico Cantone
AU  - Marianna Nicolosi-Asmundo
AU  - Ewa Orłowska
PY  - 2018
UR  - https://arxiv.org/abs/1802.07508
ID  - 1802.07508
ER  -