APA (7th ed.) Citation

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 Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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