* International Center for Computational Logic, Technische Universität Dresden, Dresden, Germany
** College of Computer Science and Technology, Jilin University, Changchun, China
2015-03-10: submitted by , Steffen Hölldobler,
metadata incl. bibliographic data published under Creative Commons CC0 2015-03-10: published on CEUR-WS.org
|valid HTML5|