Wos, L. (1995). Automated reasoning and its applications. Elsevier.
Chicago-Zitierstil (17. Ausg.)Wos, Larry. Automated Reasoning and Its Applications. Oxford: Elsevier, 1995.
MLA-Zitierstil (9. Ausg.)Wos, Larry. Automated Reasoning and Its Applications. Elsevier, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.