### /home/mccune/otter-3.3/examples/wos

These problems were contributed by Larry Wos in 1994. Most illustrate the resonance strategy.

`otter < cursory.in > cursory.out`

`otter < grp_exp3.in > grp_exp3.out`

`otter < grp_exp4.in > grp_exp4.out`

`otter < manyval.in > manyval.out`

`otter < rigorous.in > rigorous.out`

`otter < rob_occ.in > rob_occ.out`

`otter < twoval.in > twoval.out`

These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.