You are about to access our book library "Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings (Lecture Notes in Computer Science, 838) full version" .