SpringerLink (Online service), Jarvisalo, M., & Van Gelder, A. (2013). Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (1st ed. 2013.). Springer Berlin Heidelberg : Imprint: Springer.
Cita Chicago Style (17a ed.)SpringerLink (Online service), Matti Jarvisalo, y Allen Van Gelder. Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings. 1st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
Cita MLA (8a ed.)SpringerLink (Online service), et al. Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings. 1st ed. 2013. Springer Berlin Heidelberg : Imprint: Springer, 2013.