Logic programming : proceedings of the eleventh International Conference on Logic Programming /
International Conference on Logic Programming(11th :1994 :Providence, R.I.)
Van Hentenryck, Pascal.
Cambridge, Mass. ; London : MIT Press,
c1994.