Ph Hermjakob
-
Algernon—a tractable system for knowledge-representation
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems