Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch
Unification Modulo Lists with Reverse Relation with Certain Word Equations
CADE, 2019.
@inproceedings{CADE-2019-AnantharamanHNR,
author = "Siva Anantharaman and Peter Hibbs and Paliath Narendran and Michaël Rusinowitch",
booktitle = "{Proceddings of the 27th International Conference on Automated Deduction}",
doi = "10.1007/978-3-030-29436-6_1",
isbn = "['978-3-030-29435-9', '978-3-030-29436-6']",
pages = "1--17",
publisher = "{Springer}",
title = "{Unification Modulo Lists with Reverse Relation with Certain Word Equations}",
year = 2019,
}