A Recognizer of Rational Trace Languages | IEEE Conference Publication | IEEE Xplore