@InProceedings{RSV16-GCAI,
    Author       = "Reger, G. and Suda, M. and Voronkov, A.",
    Year         = "2016",
    Title        = "{New Techniques in Clausal Form Generation}",
    Editor       = "Benzm{\"u}ller, C. and Sutcliffe, G. and Rojas, R.",
    BookTitle    = "{Proceedings of the 2nd Global Conference on Artificial Intelligence}",
    Place        = "Berlin, Germany",
    Series       = "EPiC Series in Computing",
    Number       = "41",
    Pages        = "11-23",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}

@InProceedings{RSV16,
    Author       = "Reger, G. and Suda, M. and Voronkov, A.",
    Year         = "2016",
    Title        = "{Finding Finite Models in Multi-Sorted First Order Logic}",
    Editor       = "Creignou, N. and Le Berre, D.",
    BookTitle    = "{Proceedings of the 19th International Conference on
                    Theory and Applications of Satisfiability Testing}",
    Place        = "Bordeaux, France",
    Series       = "Lecture Notes in Computer Science",
    Number       = "9710",
    Pages        = "323-341",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}