Cytowanie według stylu APA (wyd. 7)

SpringerLink (Online service), Van Gelder, A., & Järvisalo, M. (2013). Theory and applications of satisfiability testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.

Cytowanie według stylu Chicago (wyd. 17)

SpringerLink (Online service), Allen Van Gelder, i Matti Järvisalo. Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.

Cytowanie według stylu MLA (wyd. 8)

SpringerLink (Online service), et al. Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2013.

Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..