Automated Reasoning

MLA

Galmiche, et al. Automated Reasoning. Springer International Publishing, 2018.

APA

Galmiche, G., Roberto Sebastiani, R. Sebastiani, Stephan Schulz, S. Schulz, Schulz, S., & Sebastiani, R. (2018). Automated Reasoning. Springer International Publishing.

Chicago

Galmiche, Roberto Sebastiani, Stephan Schulz, Stephan Schulz, and Roberto Sebastiani. Automated Reasoning. : Springer International Publishing, 2018.