@Inproceedings{Reger2016sat,
author="Reger, Giles
and Suda, Martin
and Voronkov, Andrei",
editor="Creignou, Nadia
and Le Berre, Daniel",
title="Finding Finite Models in Multi-sorted First-Order Logic",
bookTitle="Theory and Applications of Satisfiability Testing -- SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings",
year="2016",
publisher="Springer International Publishing",
pages="323--341",
}