Cita APA (7th 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 Chicago (17th ed.)
International Conference on Theory and Applications of Satisfiability Testing ( Viena, Austria), Vienna Summer of Logic, Carsten Sinz, i 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 (9th 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.
Atenció: Aquestes cites poden no estar 100% correctes.