Description Logic, Theory Combination, and All ThatCarsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter · First published 2019Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsChristel Baier, Cesare Tinelli · First published 2015Open the Tome
Frontiers of Combining SystemsCesare Tinelli, Viorica Sofronie-Stokkermans · First published 2011Open the Tome
Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011Cesare Tinelli · First published 2011Open the Tome
