James Cussens Integrating Probabilistic and Logical Reasoning. 79-103 1999 3 Electron. Trans. Artif. Intell. B http://www.ep.liu.se/ej/etai/1999/005/ db/journals/etai/etai3.html#Cussens99