Harold Boley Michael M. Richter Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings PDK Lecture Notes in Computer Science 567 Springer 1991 3-540-55033-X db/conf/pdk/pdk91.html