@INPROCEEDINGS{MPB-DAP:UNIF2014:SGGSconstraints,
AUTHOR = "Maria Paola Bonacina and David A. Plaisted",
TITLE = "Constraint manipulation in {SGGS}",
BOOKTITLE = "Proceedings of the 28th Workshop on Unification (UNIF)",
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}