@Article{RKK17,
    Author       = "Reynolds, A. and King, T. and Kuncak, V.",
    Year         = "2017",
    Title        = "{Solving Quantified Linear Arithmetic by
                    Counterexample-guided Instantiation}",
    Journal      = "Formal Methods in System Design",
    Volume       = "51",
    Number       = "3",
    Pages        = "500-532",
    Comment      = ""
}