A Computational Logic Handbook (1988)

by R S Boyer, J S Moore