Logic Programming : proceedings of the 1994 International Symposium - Bruynooghe, Maurice (MIT Press, 1994)