@INPROCEEDINGS{MPB-SMW:IJCAR2020:SGGSdp, AUTHOR = "Maria Paola Bonacina and Sarah Winkler", TITLE = "{SGGS} decision procedures", BOOKTITLE = "Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR)", EDITOR = "Nicolas Peltier and Viorica Sofronie-Stokkermans", SERIES = "Lecture Notes in Artificial Intelligence", VOLUME = 12166, PAGES = "356--374", PUBLISHER = "Springer", MONTH = "July", DOI = "10.1007/978-3-030-51074-9_20", YEAR = 2020}