TY  - RPRT
TI  - Finding Finite Models in Multi-Sorted First Order Logic
AU  - Giles Reger
AU  - Martin Suda
AU  - Andrei Voronkov
PY  - 2016
UR  - https://arxiv.org/abs/1604.08040
ID  - 1604.08040
ER  -