MRS/NEOMYCIN: Representing Metacontrol in Predicate Calculus

Open in new window