doi dblp On Inference Rules of Logic-Based Information Retrieval Systems Patrick Shicheng Chen 1994 Volume 30 Issue 1