Martin Davis, Carl Smith, Paul Young. Introduction. Inf. Comput., 52(1):1, January 1982.
@article{DavisSY82a,
title = {Introduction},
author = {Martin Davis and Carl Smith and Paul Young},
year = {1982},
month = {January},
researchr = {https://researchr.org/publication/DavisSY82a},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {52},
number = {1},
pages = {1},
}