TPTP Reference: RB+16

TPTP Reference: `RB+16`

@InProceedings{RB+16,
    Author       = "Reger, G. and Bj{\o}rner, N. and Suda, M. and Voronkov, A.",
    Year         = "2016",
    Title        = "{AVATAR Modulo Theories}",
    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        = "39-52",
    Publisher    = "EasyChair Publications",
    Comment      = ""
}