An efficient algorithm for constructing a Sequence Binary Decision Diagram representing a set of reversed sequences | IEEE Conference Publication | IEEE Xplore