Logic programming : proceedings of the North American conference, 1989 /
Lusk, Ewing.
Overbeek, Ross A.
Cambridge, Mass. ; London : MIT Press,
c1989.
Logic programming