@INPROCEEDINGS{MPB-SMW:PAAR2022:SGGSHorn,
AUTHOR = "Maria Paola Bonacina and Sarah Winkler",
TITLE = "On {SGGS} and {H}orn clauses",
BOOKTITLE = "Proceedings of the 8th Workshop on Practical Aspects of Automated Reasoning (PAAR)",
EDITOR = "Boris Konev and Claudia Schon and Alexander Steen",
SERIES = "CEUR Proceedings",
VOLUME = 3201,
PAGES = "1--20",
PUBLISHER = "CEUR WS-org",
MONTH = "August",
YEAR = 2022}