Next:
Rule Generation
Up:
CA-1.0: Specification Details
Previous:
Rule Application
Substitution Phase
Rule Generation
Rule Application
Howard A. Gutowitz
Fri May 12 06:16:18 MDT 1995