Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett. Polite Combination of Algebraic Datatypes. Journal of Automated Reasoning, 66(3):331-355, 2022. [doi]
@article{ShengZRLFB22,
title = {Polite Combination of Algebraic Datatypes},
author = {Ying Sheng 0007 and Yoni Zohar and Christophe Ringeissen and Jane Lange and Pascal Fontaine and Clark W. Barrett},
year = {2022},
doi = {10.1007/s10817-022-09625-3},
url = {https://doi.org/10.1007/s10817-022-09625-3},
researchr = {https://researchr.org/publication/ShengZRLFB22},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {66},
number = {3},
pages = {331-355},
}