Logic programming : proceedings of the 1994 international symposium / - Bruynooghe, M. (MIT Press, 1994)