A Two-Watched Literal Scheme for First-Order Logic.

Yasmine Briefs, Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Simon Schwarz, Christoph Weidenbach

Browse the full IJCAR paper archive.