Logic programming : proceedings of the 1994 International Symposium /
Bruynooghe, M.
Association for Logic Programming.International Symposium(1994)
Cambridge, Mass. ; London : MIT Press,
c1994.