Logics in AI: European Workshop Jelia '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings (Paperback, 1991)