Silva A, Jacobs B, Sokolova A.? 2015.??Trace semantics via determinization. Journal of Computer and System Sciences . 81(5):859--879.