Computational Logic - Essays In Honour Of Alan Robinson door Jean-louis Lassez