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