A computational logic - Boyer, Robert S.; Moore, J Strother 1947- (Acad. Press, 1979)