APA (7th ed.) Citation

SpringerLink (Online service), Sakallah, K. A., & Simon, L. (2011). Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Karem A. Sakallah, and Laurent Simon. Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2011.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2011.