Next:
Simplification
Up:
Rule induction
Previous:
Tree Menu
Contents
HFP FIS
This option is detailed in Section
3.1.2
.