![]() | Up a level |
Martinez, M., Krumnack, U., Smaill, A. , Besold, T. R., Abdel-Fattah, A. M. H., Schmidt, M., Gust, H., Kuhnberger, K-U., Guhe, M. & Pease, A. (2014). Algorithmic aspects of theory blending. Lecture Notes in Computer Science, 8884, pp. 180-192. doi: 10.1007/978-3-319-13770-4_16