Style de citation APA (7e éd.)
Wos, L. (1988). Automated reasoning 33 basis research problems (1.vyd.). Prentice Hall.
Style de citation Chicago (17e éd.)
Wos, L. Automated Reasoning 33 Basis Research Problems. 1.vyd. Englewood Cliffs: Prentice Hall, 1988.
Style de citation MLA (9e éd.)
Wos, L. Automated Reasoning 33 Basis Research Problems. 1.vyd. Prentice Hall, 1988.
Attention : ces citations peuvent ne pas être correctes à 100%.