Gaya APA

Platzer, A., Sutcliffe, G. (2021). Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings . : Springer Nature.

Gaya MLA

Platzer, André., Sutcliffe, Geoff. "Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings". : Springer Nature, 2021. Prodi S1 Teknik Informatika.