Ok. I think that I have figured out the tensors. I can compute them. But this did not help me to understand why did http://arxiv.org/pdf/1212.5214v2.pdf chosen |Φ
+> = (|00> + |11>)/√2, why did they chosen such basis vectors (a_0, a_1) , (b_0, b_1), (c_0, c_1) for properties A, B, C and why do they compute probability of obtaining 0 when measuring A and B by amplitude of |a_0 b_0>?