Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves. Reuse and Integration of Specification Logics: The Hybridisation Perspective. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Theoretical Information Reuse and Integration. Volume 446 of Advances in Intelligent Systems and Computing, pages 1-30, Springer, 2016. [doi]
Abstract is missing.