Logic programming : proceedings of the 1990 North American conference / - Debray, Saumya.; Hermenegildo, Manuel. (MIT Press,, 1990)