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