@inproceedings{Haifani_CADE21,
TITLE = {Generalized Completeness for {SOS} Resolution and its Application to a New Notion of Relevance},
AUTHOR = {Haifani, Fajar and Tourret, Sophie and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-030-79875-8},
DOI = {10.1007/978-3-030-79876-5_19},
PUBLISHER = {Springer},
YEAR = {2021},
DATE = {2021},
BOOKTITLE = {Automated Deduction -- CADE 28},
EDITOR = {Platzer, Andr{\'e} and Sutcliffe, Geoff},
PAGES = {327--343},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {12699},
ADDRESS = {Virtual Event},
}