Παραπομπή σε μορφή APA (7η εκδ.)

Carnielli, W., Coniglio, M., Gabbay, D. M., Gouveia, P., & Sernadas, C. (2008). Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Springer Netherlands.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Carnielli, Walter, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, και Cristina Sernadas. Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Dordrecht: Springer Netherlands, 2008.

Παραπομπή σε μορφή MLA (8th εκδ.)

Carnielli, Walter, et al. Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Springer Netherlands, 2008.