%0 Journal Article %1 journals/iandc/ChevalCD17 %A Cheval, Vincent %A Comon-Lundh, Hubert %A Delaune, Stéphanie %D 2017 %J Inf. Comput. %K %P 94-125 %T A procedure for deciding symbolic equivalence between sets of constraint systems. %U http://dblp.uni-trier.de/db/journals/iandc/iandc255.html#ChevalCD17 %V 255

@article{journals/iandc/ChevalCD17, added-at = {2023-12-13T00:37:48.000+0100}, author = {Cheval, Vincent and Comon-Lundh, Hubert and Delaune, Stéphanie}, biburl = {https://www.bibsonomy.org/bibtex/2496b526128e883102276419b8cfede1b/admin}, ee = {https://doi.org/10.1016/j.ic.2017.05.004}, interhash = {661c7ff50d232b7b85d54d5800f148b4}, intrahash = {496b526128e883102276419b8cfede1b}, journal = {Inf. Comput.}, keywords = {}, pages = {94-125}, timestamp = {2023-12-13T00:37:48.000+0100}, title = {A procedure for deciding symbolic equivalence between sets of constraint systems.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc255.html#ChevalCD17}, volume = 255, year = 2017 }