Theory blending: extended algorithmic aspects and examples.
Maricarmen MartínezAhmed M. H. Abdel-FattahUlf KrumnackDanny Gómez-RamírezAlan SmaillTarek Richard BesoldAlison PeaseMartin SchmidtMarkus GuheKai-Uwe KühnbergerPublished in: Ann. Math. Artif. Intell. (2017)