Sergio Flesca Sergio Greco Nicola Leone Giovambattista Ianni Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings JELIA Lecture Notes in Computer Science 2424 Springer 2002 3-540-44190-5 db/conf/jelia/jelia2002.html