Maricarmen Martínez, Ahmed M. H. Abdel-Fattah, Ulf Krumnack, Danny Gómez-Ramírez, Alan Smaill, Tarek Richard Besold, Alison Pease, Martin Schmidt, Markus Guhe, Kai-Uwe Kühnberger. Theory blending: extended algorithmic aspects and examples. Annals of Mathematics and Artificial Intelligence, 80(1):65-89, 2017. [doi]
Abstract is missing.