APA stil citiranja
Nieuwenhuis, R. (2005). Automated deduction, CADE-20: Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings. Berlin ; New York: Springer.
Chicago stil citiranjaNieuwenhuis, Robert. Automated deduction, CADE-20: Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings. Berlin ; New York: Springer, 2005.
MLA stil citiranjaNieuwenhuis, Robert. Automated deduction, CADE-20: Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings. Berlin ; New York: Springer, 2005.
Napomena: Ova citiranost nije uvijek 100% točna.