Cita APA (7a ed.)
International Conference on Theory and Applications of Satisfiability Testing ( Viena, Austria), Vienna Summer of Logic, Sinz, C., & Egly, U. Theory and Applications of Satisfiability Testing: SAT 2014 : 17th International Conference Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings. Springer.
Cita estilo Chicago (17a ed.)
International Conference on Theory and Applications of Satisfiability Testing ( Viena, Austria), Vienna Summer of Logic, Carsten Sinz, y Uwe Egly. Theory and Applications of Satisfiability Testing: SAT 2014 : 17th International Conference Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings. Cham, Suiza: Springer.
Cita MLA (9a ed.)
International Conference on Theory and Applications of Satisfiability Testing ( Viena, Austria), et al. Theory and Applications of Satisfiability Testing: SAT 2014 : 17th International Conference Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings. Springer.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.