Steffen Hölldobler Carsten Lutz Heinrich Wansing Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings 5293 2008 978-3-540-87802-5 JELIA Lecture Notes in Computer Science Springer db/conf/jelia/jelia2008.html