Cesare TinelliBooksDescription Logic, Theory Combination, and All ThatAutomated Deduction - CADE 29Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011Frontiers of Combining SystemsTools and Algorithms for the Construction and Analysis of SystemsAuthor data: Open Library
