@conference {384497,
	title = {Study of limits of solvability in tag systems},
	booktitle = {Lecture Notes in Computer Science},
	year = {2007},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>In this paper we will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. This result will be situated in a more general context of research on limits of solvability in tag systems.</p>},
	isbn = {978-3-540-74592-1},
	author = {De Mol, Liesbeth},
	editor = {Durand Lose, J and Margenstern, M}
}
