Carsten Lutz & Silvio Ranise 
Frontiers of Combining Systems [PDF ebook] 
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, Fro Co S 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.