Computational Logic : Essays in Honor of Alan Robinson - Lassez, Jean-Louis; Plotkin, G. 1946- (Massachusetts Institute of Technology, 1991)