Logic Programming : proceedings of the 1990 North American Conference - Debray, Saumya; Hermenegildo, Manuel de, 1959- (Massachusetts Institute of Technology, 1990)