Logic Programming : Proceedings of the Fourth International Conference - Lassez, Jean-Louis (Bangalore MIT Press)