Lugar de publicación Some undecidable problems about the trace-subshift associated with a Turing machine. 17(2):267-284. 2015 p-BOX: A new graph model. 17(1):169-186. 2015