Kochen-Specker sets in four-dimensional spaces. - Brandon Elford; Petr Lisonek (Quantum Inf. Comput., 2024)