TY  - RPRT
TI  - Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra
AU  - Maximiliano Cristiá
AU  - Ricardo D. Katz
AU  - Gianfranco Rossi
PY  - 2021
UR  - https://arxiv.org/abs/2101.07700
ID  - 2101.07700
ER  -