@INPROCEEDINGS{MPB-DAP:PAAR2014:SGGSexpository, AUTHOR = "Maria Paola Bonacina and David A. Plaisted", TITLE = "{SGGS} theorem proving: an exposition", BOOKTITLE = "Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning (PAAR), July 2014", EDITOR = "Stephan Schulz and Leonardo De Moura and Boris Konev", SERIES = "EPiC Series in Computing", VOLUME = 31, PAGES = "25--38", PUBLISHER = "EasyChair", MONTH = "July", DOI = "10.29007/m2vf", YEAR = 2015}