Scott A. Smolka. Kanellakis-Smolka 1983: A Convolution of Circumstances. SIGACT News, 52(4):78-79, 2021. [doi]
@article{Smolka21,
title = {Kanellakis-Smolka 1983: A Convolution of Circumstances},
author = {Scott A. Smolka},
year = {2021},
doi = {10.1145/3510382.3510395},
url = {https://doi.org/10.1145/3510382.3510395},
researchr = {https://researchr.org/publication/Smolka21},
cites = {0},
citedby = {0},
journal = {SIGACT News},
volume = {52},
number = {4},
pages = {78-79},
}