Thomas Rölleke Markus Blömer Probabilistic Logical Information Retrieval for Content, Hypertext, and Database Querying. 147-160 1997 HIM db/conf/him/him97.html#RollekeB97