APA Style
Quaife, Art. (1992).
Automated Reasoning Series, Automated Development of Fundamental Mathematical Theories .
The Netherlands:
Kluwer Academic Publishers.
Chicago Style
Quaife, Art.
Automated Reasoning Series, Automated Development of Fundamental Mathematical Theories.
The Netherlands:
Kluwer Academic Publishers,
1992.
Text.
MLA Style
Quaife, Art.
Automated Reasoning Series, Automated Development of Fundamental Mathematical Theories.
The Netherlands:
Kluwer Academic Publishers,
1992.
Text.
Turabian Style
Quaife, Art.
Automated Reasoning Series, Automated Development of Fundamental Mathematical Theories.
The Netherlands:
Kluwer Academic Publishers,
1992.
Print.