@misc{indiciae282477a5e138,
  title = {A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)},
  author = {Domenico Cantone and Marianna Nicolosi-Asmundo and Ewa Orłowska},
  year = {2018},
  url = {https://arxiv.org/abs/1802.07508},
  note = {Source identifier: 1802.07508}
}