Maria Paola Bonacina, Sarah Winkler. On SGGS and Horn Clauses. In Boris Konev, Claudia Schon, Alexander Steen, editors, Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022. Volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]
@inproceedings{BonacinaW22,
title = {On SGGS and Horn Clauses},
author = {Maria Paola Bonacina and Sarah Winkler},
year = {2022},
url = {http://ceur-ws.org/Vol-3201/paper6.pdf},
researchr = {https://researchr.org/publication/BonacinaW22},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
editor = {Boris Konev and Claudia Schon and Alexander Steen},
volume = {3201},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}