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