Stål Aanderaa, Dag Belsnes. Decision Problems for Tag Systems. Journal of Symbolic Logic, 36(2):229-239, 1971.
@article{AanderaaB71,
title = {Decision Problems for Tag Systems},
author = {Stål Aanderaa and Dag Belsnes},
year = {1971},
tags = {tagging},
researchr = {https://researchr.org/publication/AanderaaB71},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {36},
number = {2},
pages = {229-239},
}