Robert S Boyer,J Strother Moore. (1988). A computational logic handbook. Academic Press.
Chicago Edition CitationRobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
MLA Edition CitationRobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Warning: These citations may not always be 100% accurate.