A Two-Watched Literal Scheme for First-Order Logic. - Martin Bromberger; Tobias Gehl; Lorenz Leutgeb; Christoph Weidenbach (PAAR@IJCAR, 2022)