In order to understand the experiments, it is necessary to be familiar with at least a few of the many OTTER and ROO features for controlling the algorithms given in this section.
input lists, options: inference rules, process-input, knuth-bendix, lrpo, weighting, etc.