Effective logic computation - Truemper, K. 1942- (Wiley, 1998)