A computational logic handbook. Second edition (1998)

by R S Boyer, J S Moore