Gaya APA
Nieuwenhuis, R.
(2005).
Automated Deduction – CADE-20
(
1st ed.)
.
Berlin, Heidelberg:
Springer.
Gaya MLA
Nieuwenhuis, Robert..
"Automated Deduction – CADE-20".
1st ed.
Berlin, Heidelberg:
Springer,
2005.
E Book.