Wos, L. (1996). The automation of reasoning: An experimenter's notebook with OTTER tutorial. Academic Press.
Chicago-Zitierstil (17. Ausg.)Wos, Larry. The Automation of Reasoning: An Experimenter's Notebook with OTTER Tutorial. San Diego [u.a.]: Academic Press, 1996.
MLA-Zitierstil (9. Ausg.)Wos, Larry. The Automation of Reasoning: An Experimenter's Notebook with OTTER Tutorial. Academic Press, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.