@article{DBLP:journals/ijar/Lukasiewicz07,
  title = "Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Complexity, Algorithms, and Implementation",
  author = "Thomas Lukasiewicz",
  year = "2007",
  journal = "International Journal of Approximate Reasoning",
  month = "March",
  number = "3",
  pages = "301--321",
  url = "http://dx.doi.org/10.1016/j.ijar.2006.07.015",
  volume = "44",
}