@INPROCEEDINGS{MPB-DAP:UNIF2014:SGGSconstraints,
AUTHOR = "Maria Paola Bonacina and David A. Plaisted",
TITLE = "Constraint manipulation in {SGGS}",
BOOKTITLE = "Proceedings of the Twenty-Eighth Workshop on Unification (UNIF),
Seventh International Joint Conference on Automated Reasoning (IJCAR) and
Sixth Federated Logic Conference (FLoC)",
EDITOR = "Temur Kutsia and Christophe Ringeissen",
PUBLISHER = {Johannes Kepler Universit\"at Linz},
SERIES = "Technical Reports of the Research Institute for
Symbolic Computation",
PAGES = "47--54",
MONTH = "July",
YEAR = 2014}