@INPROCEEDINGS{MPB-DAP:PAAR2014:SGGSexpository,
AUTHOR = "Maria Paola Bonacina and David A. Plaisted",
TITLE = "{SGGS} theorem proving: an exposition",
BOOKTITLE = "Proceedings of the Fourth Workshop on Practical Aspects
in Automated Reasoning (PAAR),
Seventh International Joint Conference on Automated Reasoning (IJCAR) and
Sixth Federated Logic Conference (FLoC), July 2014",
EDITOR = "Stephan Schulz and Leonardo De Moura and Boris Konev",
SERIES = "EasyChair Proceedings in Computing (EPiC)",
VOLUME = 31,
PAGES = "25--38",
MONTH = "July",
YEAR = 2015}