Tianlong Gu Huadong Liu The symbolic OBDD scheme for generating mechanical assembly sequences. 29-44 2008 33 Formal Methods in System Design 1-3 http://dx.doi.org/10.1007/s10703-008-0052-y db/journals/fmsd/fmsd33.html#GuL08