Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune. A procedure for deciding symbolic equivalence between sets of constraint systems. Inf. Comput., 255:94-125, 2017. [doi]
@article{ChevalCD17,
title = {A procedure for deciding symbolic equivalence between sets of constraint systems},
author = {Vincent Cheval and Hubert Comon-Lundh and Stéphanie Delaune},
year = {2017},
doi = {10.1016/j.ic.2017.05.004},
url = {https://doi.org/10.1016/j.ic.2017.05.004},
researchr = {https://researchr.org/publication/ChevalCD17},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {255},
pages = {94-125},
}