Deciding existence of trace codings - Kunc, Michal, 1974- (2003)