Craig MacNish David Pearce Luís Moniz Pereira Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings JELIA Lecture Notes in Computer Science 838 Springer 1994 3-540-58332-7 db/conf/jelia/jelia94.html