Logic programming : proceedings of the 1993 International Symposium /
International Symposium on Logic Programming(1993 :Vancouver, British Columbia, Canada)
Miller, Dale.
Cambridge, Mass. ; London : MIT Press,
c1993.