Polynomial runtime in simulatability definitions | IEEE Conference Publication | IEEE Xplore