First-order logic saturation with atom rewriting
8.0

First-order logic saturation with atom rewriting

See the readme.