Title: Symbolic inversion of control relationships in model-based expert systems
Subjects: Expert systems (Computer science), Symbolic inversion