APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.