Vincent Cheval, Hubert Comon-Lundh, and Stéphanie Delaune. A procedure for deciding symbolic equivalence between sets of constraint systems. Information and Computation, 255:94–125, 2017.
(unavailable)
@article{CCD-ic16,
author = {Cheval, Vincent and Comon-Lundh, Hubert and Delaune, St{\'e}phanie},
title = {A procedure for deciding symbolic equivalence between sets of constraint systems},
journal = {Information and Computation},
volume = {255},
pages = {94--125},
year = {2017},
lsv-category = {jour},
wwwpublic = {public and ccsb},
OPTkey = {},
OPTvolume = {},
OPTnumber = {},
OPTpages = {},
OPTmonth = {},
OPTnote = {},
OPTannote = {}
}