Citazione Stile APA (7a Edizione)

Järvisalo. (2013). Theory and Applications of Satisfiability Testing â€" SAT 2013 (1.). Springer Berlin Heidelberg.

Citazione stile Chigago Style (17a edizione)

Järvisalo. Theory and Applications of Satisfiability Testing â€" SAT 2013. 1. Springer Berlin Heidelberg, 2013.

Citatione MLA (8a ed.)

Järvisalo. Theory and Applications of Satisfiability Testing â€" SAT 2013. 1. Springer Berlin Heidelberg, 2013.

Attenzione: Queste citazioni potrebbero non essere precise al 100%.