Semantics-Based Filtering: Logic Programming's Killer App? - Gopal Gupta 001; Hai-Feng Guo; Arthur I. Karshmer; Enrico Pontelli; Juan Raymundo Iglesias; Desh Ranjan; Brook Milligan; Nayana Datta; Omar El-Khatib; Mohammed Noamany; Xinhong Zhou (PADL, 2002)