Yosuke Sato Set constraint solver - Gröbner bases for non-numerical domains. 41-42 1997 31 SIGSAM Bull. 3 https://doi.org/10.1145/271130.271196 https://www.wikidata.org/entity/Q130971949 db/journals/cca/cca31.html#Sato97