Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams.

MLA

Bryant, Randal E. “Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams.” ACM Computing Surveys, vol. 24, no. 3, Sept. 1992, pp. 293–318. EBSCOhost, https://doi.org/10.1145/136035.136043.

APA

Bryant, R. E. (1992). Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3), 293–318. https://doi.org/10.1145/136035.136043

Chicago

Bryant, Randal E. 1992. “Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams.” ACM Computing Surveys 24 (3): 293–318. doi:10.1145/136035.136043.