International Conference on Logic Programming (1992 London, England)