A Computational Logic. ACM monograph series (1979)

by Robert S Boyer, J Strother Moore