@article {de2010solvability,
	title = {Solvability of the halting and reachability problem for binary 2-tag systems},
	journal = {Fundamenta Informaticae},
	volume = {99},
	number = {4},
	year = {2010},
	pages = {435{\textendash}471},
	abstract = {<p>In this report we will provide a detailed proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a shiftnumber <em>v</em> = 2.</p>},
	doi = {10.3233/FI-2010-257},
	author = {De Mol, Liesbeth}
}
