V. Biazzo, A. Gilio, T. Lukasiewicz, G. Sanfilippo: "Probabilistic Logic under Coherence: Complexity and Algorithms"; Annals of Mathematics and Artificial Intelligence, Online First (2005), Online First.