Clark W. Barrett, Temesghen Kahsai. Selected Extended Papers of NFM 2017: Preface. Journal of Automated Reasoning, 63(4):1003-1004, 2019. [doi]
@article{BarrettK19,
title = {Selected Extended Papers of NFM 2017: Preface},
author = {Clark W. Barrett and Temesghen Kahsai},
year = {2019},
doi = {10.1007/s10817-018-9488-y},
url = {https://doi.org/10.1007/s10817-018-9488-y},
researchr = {https://researchr.org/publication/BarrettK19},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {63},
number = {4},
pages = {1003-1004},
}