Authors: J.S.Moore

Citation: J.s.moore, Introduction to the OBDD Algorithm for the ATP Community, Journal of automated reasoning , 12(1), 1994, pp. 33-46