Logic programming : proceedings of the North American Conference, 1989. - Lusk, Ewing; Overbeek, Ross A. (MIT Press, 1989)