A Computational Logic Handbook. (1988)

by R S Boyer, J S Moore