Cita APA

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. https://doi.org/10.1007/978-3-642-21581-0

Citación estilo Chicago

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, 2011. https://doi.org/10.1007/978-3-642-21581-0.

Cita MLA

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, 2011. https://doi.org/10.1007/978-3-642-21581-0.