Processing declarative knowledge : proceedings - Boley H; Richter M M (Berlin Springer Verlag, 1991)
Keywords: Artificial intelligence; Special computer method