Logics in Artificial Intelligence European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings MacNish Craig Heftet / 1994 / Engelsk