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