Consistency techniques in logic programming /
Van Hentenryck, Pascal.
Cambridge, Mass. : MIT Press,
1989.
Revision of the author's thesis (Ph. D.)--University of Namur, 1987.
Includes index.
Bibliography: p.
Logic programming.