@InProceedings{BJ21,
    Author       = "Brown, C. and Janota, M.",
    Year         = "2021",
    Title        = "{First-Order Instantiation using Discriminating Terms}",
    Editor       = "Nadel, A. and Niemetz, A.",
    BookTitle    = "{Proceedings of the 19th International Workshop on Satisfiability Modulo
                    Theories}",
    Place        = "Online",
    Series       = "CEUR Workshop Proceedings",
    Number       = "2908",
    Pages        = "17-22",
    Comment      = "TPTPRef"
}