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