@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}