Probabilistic Logical Information Retrieval for Content, Hypertext, and Database Querying. - Thomas Rölleke; Markus Blömer (HIM, 1997)