Introduction to expert systems - Jackson, Peter (England : Addison Wesley Publishing Company, 1986)
Keywords: Production systems; Structured objects; Predicate logic