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