next up previous contents
Next: Simplification Up: Rule induction Previous: Tree Menu   Contents

HFP FIS

This option is detailed in Section 3.1.2.