Computational logic : essays in honor of Alan Robinson - Robinson, J. A. (John Alan); Lassez, Jean-Louis; Plotkin, G. (Gordon), 1946- (MIT Press, 1991)