Laks V. S. Lakshmanan Fereidoon Sadri Probabilistic Deductive Databases. 254-268 1994 SLP db/conf/slp/slp94.html#LakshmananS94