On small proofs of the Bell-Kochen-Specker theorem for two, three and four qubits M. Planat Eur. Phys. J. Plus, 127 8 (2012) 86 Published online: 13 August 2012 DOI: 10.1140/epjp/i2012-12086-x
