M. Broxvall, P. Jonsson, J. Renz: "Disjunctions, Independence, Refinements"; Artificial Intelligence, 140 (2002), 1-2; 153 - 173.