The Robbins problem: computer proofs and human proofs

Louis H. Kauffman
2001 Kybernetes  
doi:10.1108/eum0000000005698 fatcat:2rkbqkdhrbg6xegqvwh2szmvvu