Anatoli Degtyarev, Yuri Matiyasevich, Andrei Voronkov. Simultaneous E-Unification and Related Algorithmic Problems. In LICS. pages 494-502, 1996.
@inproceedings{DegtyarevMV96,
title = {Simultaneous E-Unification and Related Algorithmic Problems},
author = {Anatoli Degtyarev and Yuri Matiyasevich and Andrei Voronkov},
year = {1996},
tags = {e-science},
researchr = {https://researchr.org/publication/DegtyarevMV96},
cites = {0},
citedby = {0},
pages = {494-502},
booktitle = {LICS},
}