Automated Reasoning

MLA

Armando, Alessandro, et al. Automated Reasoning. Springer Berlin Heidelberg, 2008.

APA

Armando, A., Baumgartner, P., Dowek, G., & Siekmann, J. (2008). Automated Reasoning. Springer Berlin Heidelberg.

Chicago

Armando, Alessandro, Peter Baumgartner, Gilles Dowek, and Jörg Siekmann. Automated Reasoning. : Springer Berlin Heidelberg, 2008.