First-order logic saturation with atom rewriting
8.2

First-order logic saturation with atom rewriting

See the readme.