Logics in Artificial Intelligence: European Workshop Jelia '94, York, UK, September 5-8, 1994. Proceedings (Paperback, 1994)