Local optimization for multi-context systems with constraint pushing / von Seif El-Din Bairakdar. 2011
Inhalt