Liesbeth De Mol. On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results. In Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy, editors, Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings. pages 63-76, Cork University Press, 2008.
Abstract is missing.