otter < cd-cn19.in > cd-cn19.out
otter < comb-sk-w.in > comb-sk-w.out
otter < group-comm.in > group-comm.out
otter < group-x2.in > group-x2.out
otter < group-x2-refute.in > group-x2-refute.out
otter < lifsch.in > lifsch.out
otter < p-and-not-p.in > p-and-not-p.out
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.