APA Цитирование

Nieuwenhuis, R. (2020). Automated Deduction – CADE-20. Springer Berlin Heidelberg.

Chicago-стиль цитирования

Nieuwenhuis, Robert. Automated Deduction €� CADE-20. Springer Berlin Heidelberg, 2020.

MLA-цитирование

Nieuwenhuis, Robert. Automated Deduction €� CADE-20. Springer Berlin Heidelberg, 2020.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.