Yosuke Sato. Set constraint solver - Gröbner bases for non-numerical domains. ACM Comm. Computer Algebra, 31(3):41-42, 1997. [doi]
@article{Sato97-4, title = {Set constraint solver - Gröbner bases for non-numerical domains}, author = {Yosuke Sato}, year = {1997}, doi = {10.1145/271130.271196}, url = {http://doi.acm.org/10.1145/271130.271196}, researchr = {https://researchr.org/publication/Sato97-4}, cites = {0}, citedby = {0}, journal = {ACM Comm. Computer Algebra}, volume = {31}, number = {3}, pages = {41-42}, }