Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber. The SMGloM Project and System. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe 0001, Volker Sorge, editors, CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015. pages 25-28, 2015. [doi]
Abstract is missing.