T. Lukasiewicz:
"Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Complexity, Algorithms, and Implementation.";
International Journal of Approximate Reasoning, 44 (2007), 3; 301 - 321.
http://dx.doi.org/10.1016/j.ijar.2006.07.015