@InProceedings{RT+17, Author = "Reynolds, A. and Tinelli, C. and Jovanovic, D. and Barrett, C.", Year = "2017", Title = "{Designing Theory Solvers with Extensions}", Editor = "Dixon, C. and Finger, M.", BookTitle = "{Proceedings of the 11th International Symposium on Frontiers of Combining Systems}", Place = "Brasilia, Brazil", Series = "Lecture Notes in Computer Science", Number = "10483", Pages = "22-40", Publisher = "Springer-Verlag", Comment = "" }