International Conf on Logic Programming, 1991

(1991)