A State-Specific Proof of the Bell-Kochen-Specker Theorem Using Only 5 Propositions

A Proof with 18 Vectors of the Bell-Kochen-Specker Theorem

Parity Proofs of the Bell-Kochen-Specker Theorem Based on the 600-cell

Bell-Kochen-Specker theorem: A proof with 18 vectors

Recursive proof of the Bell–Kochen–Specker theorem in any dimension

On small proofs of the Bell-Kochen-Specker theorem for two, three and four qubits

The Kochen-Specker theorem and Bell's theorem: An algebraic approach