@inproceedings{Briefs_IJCAR26,
TITLE = {A Two-Watched Literal Scheme for First-Order Logic},
AUTHOR = {Briefs, Yasmine and Bromberger, Martin and Gehl, Tobias and Leutgeb, Lorenz and Schwarz, Simon and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-032-32588-4},
DOI = {10.1007/978-3-032-32592-1_2},
PUBLISHER = {Springer},
YEAR = {2026},
DATE = {2026},
BOOKTITLE = {Automated Reasoning (IJCAR 2026)},
EDITOR = {Biere, Armin and Lutz, Carsten and Negri, Sara},
PAGES = {20--36},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {16688},
ADDRESS = {Lisbon, Portugal},
}