APA (7th ed.) Citation

Hamadi, Y., Marques-Silva, J., & Wintersteiger, C. M. (2011). Lazy Decomposition for Distributed Decision Procedures. Open Publishing Association.

Chicago Style (17th ed.) Citation

Hamadi, Youssef, Joao Marques-Silva, and Christoph M. Wintersteiger. Lazy Decomposition for Distributed Decision Procedures. Open Publishing Association, 2011.

MLA (9th ed.) Citation

Hamadi, Youssef, et al. Lazy Decomposition for Distributed Decision Procedures. Open Publishing Association, 2011.