1. Decidability and expressiveness for first order logics of probability. SRC Research Report 73, Digital Equipment Corp; 1991.
2. Fuzzy unification degree. Proc 2nd Int Workshop on Logic Programming and Soft Computing. Manchester, UK; 1998.
3. Representing and reasoning with probabilistic knowledge. MIT Press; 1990.
4. Evidential support logic programming
5. Evidential support logic, FRIL and case based reasoning