José Júlio Alferes Luís Moniz Pereira Ewa Orlowska Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings JELIA Lecture Notes in Computer Science 1126 Springer 1996 3-540-61630-6 db/conf/jelia/jelia96.html