APA (7th ed.) Citation

Lai, C., Jiang, J. R., & Wang, K. (2010). BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning. DAC: Annual ACM/IEEE Design Automation Conference, 499.

Chicago Style (17th ed.) Citation

Lai, Chih-Fan, Jie-Hong R. Jiang, and Kuo-Hua Wang. "BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning." DAC: Annual ACM/IEEE Design Automation Conference 2010: 499.

MLA (9th ed.) Citation

Lai, Chih-Fan, et al. "BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning." DAC: Annual ACM/IEEE Design Automation Conference, 2010, p. 499.