Title: Processing Declarative Knowledge: International Workshop Pdk '91 Kaiserslautern, Germany, July 1-3, 1991