Bundy, A. (1995). A subsumption architecture for theorem proving.
Chicago-Zitierstil (17. Ausg.)Bundy, Alan. A Subsumption Architecture for Theorem Proving. Edinburgh, 1995.
MLA-Zitierstil (9. Ausg.)Bundy, Alan. A Subsumption Architecture for Theorem Proving. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.